Dependencies for toysolver-0.1.0

Libraries

array
base (>=4 && <5)
bytestring
containers (>=0.4.2)
data-interval (>=0.6.0 && <1.0.0)
deepseq
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
old-locale
OptDir
parse-dimacs
parsec
prettyclass (>=1.0.0)
primes
process (>=1.1.0.2)
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)
if !flag(exceptions06)
- 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
buildmiscprograms	build misc programs	Disabled

Automatic Flags

Name	Description	Default
exceptions06	use exceptions >=0.6	Enabled
random1013	use random >=1.0.1.3	Enabled

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