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

Safe HaskellNone
LanguageHaskell2010

ToySolver.Data.MIP.Solver.SCIP

Documentation

data SCIP Source #

Constructors

SCIP 

Fields

Instances
Default SCIP Source # 
Instance details

Defined in ToySolver.Data.MIP.Solver.SCIP

Methods

def :: SCIP #

IsSolver SCIP IO Source # 
Instance details

Defined in ToySolver.Data.MIP.Solver.SCIP

Methods

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

scip :: SCIP Source #