ToySolver.Arith.MIP

The Solver type

data Solver

newSolver

Solving

optimize

Extract results

getBestSolution

getBestValue

getBestModel

Configulation

setNThread

setLogger

setOnUpdateBestSolution

setShowRational