A simple partial unweighted MaxSAT Solver that uses a Minisat backbone
cpp solver constraint-satisfaction-problem constraint-programming constraint-solver minisat unweighted maxsat maxsat-solver
-
Updated
Sep 10, 2019 - C++