/BroT

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

Primary LanguageHTMLGNU Lesser General Public License v3.0LGPL-3.0

No issues in this repository yet.