util.sat.OptimizeLike
Abstract trait for optimization criteria.
Converts any minimize or maximize criterion to an equivalent Minimize critierion.
Abstract trait for optimization criteria.