ToySolver.Arith.MIPSolverHL

References:

• [Gomory1960] Ralph E. Gomory. An Algorithm for the Mixed Integer Problem, Technical Report RM-2597, 1960, The Rand Corporation, Santa Monica, CA. http://www.rand.org/pubs/research_memoranda/RM2597.html
• [Gomory1958] Ralph E. Gomory. Outline of an algorithm for integer solutions to linear programs. Bull. Amer. Math. Soc., Vol. 64, No. 5. (1958), pp. 275-278. http://projecteuclid.org/euclid.bams/1183522679

Documentation

module Data.OptDir

data OptResult r

results of optimization

Constructors

OptUnsat

Unbounded

Optimum r (Model r)

Instances

Eq r => Eq (OptResult r)

Ord r => Ord (OptResult r)

Show r => Show (OptResult r)

minimize :: RealFrac r => Expr r -> [Atom r] -> VarSet -> OptResult r

maximize :: RealFrac r => Expr r -> [Atom r] -> VarSet -> OptResult r

optimize :: RealFrac r => OptDir -> Expr r -> [Atom r] -> VarSet -> OptResult r