Dependencies for toysolver-0.3.0

Libraries

array (>=0.4.0.0)
base (>=4 && <5)
bytestring (>=0.9.2.1 && <0.11)
bytestring-builder
containers (>=0.5.0)
data-default-class
data-interval (>=1.0.1 && <1.3.0)
deepseq
extended-reals (>=0.1 && <1.0)
filepath
finite-field (>=0.7.0 && <1.0.0)
hashable (>=1.1.2.5 && <1.3.0.0)
heaps
intern (>=0.9.1.2 && <1.0.0.0)
loop (>=0.2.0 && <1.0.0)
mtl (>=2.1.2)
multiset
OptDir
parse-dimacs
parsec (>=3.1.2 && <4)
prettyclass (>=1.0.0)
primes
process (>=1.1.0.2)
pseudo-boolean (>=0.1.0.0 && <0.1.1.0)
queue
sign (>=0.2.0 && <1.0.0)
stm (>=2.3)
time
type-level-numbers (>=0.1.1.0 && <0.2.0.0)
unbounded-delays
unordered-containers (>=0.2.3 && <0.3.0)
vector-space (>=0.8.6)
if flag(exceptions06)
- exceptions (>=0.6)
- temporary (>1.2.0.2)
else
- exceptions (==0.5)
- temporary (>=1.2)
if flag(random1013)
- base (>=4.6.0.0)
- random (>=1.0.1.3)
else
- random (<1.0.1.3)
if impl(ghc)
- ghc-prim

if !flag(buildtoyfmf)
- buildable: False
if flag(buildtoyfmf)
- base (>=4 && <5)
- containers (>=0.4.2)
- logic-TPTP (>=0.4.1)
- toysolver

Name	Description	Default
forcechar8	set default encoding to char8 (not to use iconv)	Disabled
buildtoyfmf	build toyfmf command	Disabled
buildsampleprograms	build sample programs	Disabled
buildmiscprograms	build misc programs	Disabled

Automatic Flags

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info