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