liffiton / marco Goto Github PK
View Code? Open in Web Editor NEWA Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.
Home Page: https://www.iwu.edu/~mliffito/marco/
License: Other