ToySolver.Arith.MIPSolver2

The Solver type

data Solver

newSolver

Solving

optimize

Extract results

getBestSolution

getBestValue

getBestModel

Configulation

setNThread

setLogger

setOnUpdateBestSolution

setShowRational