util.sat.OptimizeLike
A linear criterion to be minimized.
Converts any minimize or maximize criterion to an equivalent Minimize critierion.
A linear criterion to be minimized.