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