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.
This trait provides an interface to solvers for the Weighted Partial MaxSat problem.