Crate msat
Version 0.1.1
See all msat's items
MaxSAT Solver
Solves the maxsat (unweighted) formula and returns the solution along with the optimum