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