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.
Created by frain on 4/1/15.