FlorentAvellaneda / EvalMaxSAT

State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
15Updated 6 months ago

Related projects

Alternatives and complementary repositories for EvalMaxSAT