liffiton / MARCO

A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.
17Updated 2 years ago

Related projects

Alternatives and complementary repositories for MARCO