toysolver-0.6.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

Safe HaskellNone
LanguageHaskell2010

ToySolver.Data.MIP.Solver.CPLEX

Documentation

data CPLEX Source #

Constructors

CPLEX 

Fields

Instances
Default CPLEX Source # 
Instance details

Defined in ToySolver.Data.MIP.Solver.CPLEX

Methods

def :: CPLEX #

IsSolver CPLEX IO Source # 
Instance details

Defined in ToySolver.Data.MIP.Solver.CPLEX

Methods

solve :: CPLEX -> SolveOptions -> Problem Scientific -> IO (Solution Scientific) Source #

cplex :: CPLEX Source #