ToySolver.MIPSolver2
Solver
data Solver
newSolver
optimize
getBestSolution
getBestValue
getBestModel
setNThread
setLogger
setOnUpdateBestSolution
setShowRational