#

brot

Here is 1 public repository matching this topic...

SoftVarE-Group / BroT

Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'

dsl eclipse constraint case-study tu-braunschweig featureide brot sat-encodings

Updated Mar 7, 2024
HTML

Improve this page

Add a description, image, and links to the brot topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the brot topic, visit your repo's landing page and select "manage topics."