Solves a weighted partial MaxSAT problem.
Solves a weighted partial MaxSAT problem.
Hard constraints in CNF.
Soft constraints in CNF along with their weights.
None if hard is unsatisfiable, otherwise Some(model), where model is a model of hard maximizing the sum of the weights of soft.
Hard constraints.
Soft constraints along with their weights.
None if hard is unsatisfiable, otherwise Some(model), where model is a model of hard maximizing the sum of the weights of soft.