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