Numeric.LinearProgramming
simplex
data Optimization
data Constraints
type Bounds
data Bound x
(#)
data Solution