toysolver-0.1.0: dependencies | Hackage

Dependencies for toysolver-0.1.0

library	array base (>=4 && <5) bytestring containers (>=0.4.2) data-interval (>=0.6.0 && <1.0.0) deepseq (<1.4) filepath finite-field (>=0.7.0 && <0.9) 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
toysolver	array base (>=4.4 && <5) containers filepath OptDir parse-dimacs parsec toysolver
toysat	array base (>=4 && <5) bytestring containers (>=0.4.2) filepath old-locale parse-dimacs parsec process (>=1.1.0.2) random time toysolver unbounded-delays vector-space (>=0.8.6) if flag(forcechar8) && impl(ghc) base (>=4.5)
toyfmf	if !flag(buildtoyfmf) buildable: False if flag(buildtoyfmf) base (>=4 && <5) containers (>=0.4.2) logic-TPTP (>=0.4.1) toysolver
lpconvert	base (>=4 && <5) containers filepath parse-dimacs toysolver
pbconvert	base (>=4 && <5) containers filepath parse-dimacs toysolver
pigeonhole	base (>=4 && <5) containers filepath toysolver if !flag(buildmiscprograms) buildable: False
maxsatverify	array base (>=4 && <5) containers filepath toysolver if !flag(buildmiscprograms) buildable: False
pbverify	array base (>=4 && <5) containers filepath toysolver

Flags

Manual Flags

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