ToySolver.Arith.MIPSolverHL

data OptResult r

minimize

maximize

optimize