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

Copyright(c) Masahiro Sakai 2012
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilitynon-portable (ScopedTypeVariables, Rank2Types)
Safe HaskellNone
LanguageHaskell2010

ToySolver.Arith.MIPSolver2

Contents

Description

Naïve implementation of MIP solver based on Simplex2 module

Reference:

Synopsis

The Solver type

Solving

Extract results

Configulation

setLogger :: Solver -> (String -> IO ()) -> IO () Source

set callback function for receiving messages.