A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.
Primary LanguageC++OtherNOASSERTION
No issues in this repository yet.