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".
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.