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'

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

SoftVarE-Group/BroT Stargazers