ToySolver.Data.MIP.Solver.SCIP

Documentation

data SCIP

Constructors

SCIP

Fields

• scipPath :: String

Instances

Default SCIP

Methods

def :: SCIP

IsSolver SCIP IO

Methods

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

scip :: SCIP