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

Safe HaskellNone
LanguageHaskell2010

ToySolver.Data.MIP.Solver.CBC

Documentation

data CBC Source #

Constructors

CBC 

Fields

Instances
Default CBC Source # 
Instance details

Defined in ToySolver.Data.MIP.Solver.CBC

Methods

def :: CBC #

IsSolver CBC IO Source # 
Instance details

Defined in ToySolver.Data.MIP.Solver.CBC