@hackage toysolver0.3.0

Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Installation
In your cabal file:
Dependencies (36)
- array >=0.4.0.0
- base >=4.6.0.0
- bytestring >=0.9.2.1 && <0.11
- containers >=0.5.0
- deepseq
- filepath
Dependents (4)
@hackage/satchmo-toysat, @hackage/acme-everything, @hackage/ersatz-toysat, @hackage/qhull

forcechar8

(off by default)

set default encoding to char8 (not to use iconv)

buildtoyfmf

(off by default)

build toyfmf command

buildsampleprograms

(off by default)

build sample programs

buildmiscprograms

(off by default)

build misc programs

exceptions06

(on by default)

use exceptions >=0.6

random1013

(on by default)

use random >=1.0.1.3

time15

(on by default)

use time >=1.5.0

Toy-level implementation of some decision procedures