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

Copyright(c) Masahiro Sakai 2012-2013
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

ToySolver.SAT.PBO

Contents

Description

Pseudo-Boolean Optimization (PBO) Solver

Synopsis

The Optimizer type

Solving

Extract results

Configulation

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