ToySolver.Arith.Simplex.Textbook.MIPSolver.Simple

• [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

Show r => Show (OptResult r)

Defined in ToySolver.Arith.Simplex.Textbook.LPSolver.Simple

Methods

showsPrec :: Int -> OptResult r -> ShowS

show :: OptResult r -> String

showList :: [OptResult r] -> ShowS

Eq r => Eq (OptResult r)

Defined in ToySolver.Arith.Simplex.Textbook.LPSolver.Simple

Methods

(==) :: OptResult r -> OptResult r -> Bool

(/=) :: OptResult r -> OptResult r -> Bool

Ord r => Ord (OptResult r)

Defined in ToySolver.Arith.Simplex.Textbook.LPSolver.Simple

Methods

compare :: OptResult r -> OptResult r -> Ordering

(<) :: OptResult r -> OptResult r -> Bool

(<=) :: OptResult r -> OptResult r -> Bool

(>) :: OptResult r -> OptResult r -> Bool

(>=) :: OptResult r -> OptResult r -> Bool

max :: OptResult r -> OptResult r -> OptResult r

min :: OptResult r -> OptResult r -> 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