feifanxu / marco Goto Github PK
View Code? Open in Web Editor NEWThis project forked from liffiton/marco
A 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