Example Code for Using the SAT Encodings of BroT
This project consists just of a single Main file with some example code for encoding propositional atmost and atleast constraints with the FeatureIDE library.
Further information is given in the BroT project and the corresponding paper "SAT Encodings of the At-Most-k Constraint: A Case Study on Configuring University Courses".
Setup
This project is a plain Eclipse java project. It uses the libraries in the libs directory. The SAT encodings are implemented in the AtMostSatEncodings project in BroT. The AtMostSatEncodings project was built and included as a jar in the libs directory.