toysolver-0.0.5: dependencies | Hackage

Dependencies for toysolver-0.0.5

library	algebra array base (>=4 && <4.8) bytestring containers (>=0.4.2) data-interval (>=0.2.0 && <1) deepseq filepath finite-field (>=0.6.0) heaps lattices (>=1.2.1.1 && <2) mtl multiset old-locale OptDir parse-dimacs parsec prettyclass (>=1.0.0) primes queue random stm (>=2.3) time unbounded-delays vector-space (>=0.8.6)
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 time toysolver unbounded-delays vector-space (>=0.8.6) if flag(forcechar8) && impl(ghc) base (>=4.5)
toyfmf	base (>=4 && <5) containers (>=0.4.2) logic-TPTP toysolver
lpconvert	base (>=4 && <5) containers filepath parse-dimacs toysolver
pbconvert	base (>=4 && <5) containers filepath parse-dimacs toysolver

Flags

Automatic Flags

Name	Description	Default
forcechar8	set default encoding to char8 (not to use iconv)	Disabled

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