util.sat
An interface for building optimization problems on top of CNF formulas.
Abstract trait for optimization criteria.
A linear criterion to be maximized.
A linear criterion to be minimized.
Adds an optimization criterion to the formula.
An iterator on criteria of the formula.
the number of criteria of the formula.
An interface for building optimization problems on top of CNF formulas.