ToySolver.Arith.LPSolver

Solver type

type Solver r

emptySolver

LP monad

type LP r

getTableau

putTableau

Problem specification

newVar

addConstraint

addConstraintWithArtificialVariable

tableau

define

Solving

phaseI

simplex

dualSimplex

data OptResult

twoPhaseSimplex

primalDualSimplex

Extract results

getModel

Utilities

collectNonnegVars