toysolver-0.5.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
ToySolver.Data.MIP.Solver.LPSolve
data LPSolve Source #
Constructors
Fields
Instances
Methods
def :: LPSolve #
solve :: LPSolve -> SolveOptions -> Problem Scientific -> IO (Solution Scientific) Source #
lpSolve :: LPSolve Source #