toysolver-0.0.2: dependencies | Hackage

Dependencies for toysolver-0.0.2

toysolver	array base (>=4 && <4.6) containers deepseq filepath mtl OptDir parse-dimacs parsec stm (>=2.3)
toysat	array base (>=4 && <5) bytestring containers (>=0.4.2) filepath mtl old-locale OptDir parse-dimacs parsec queue random time if flag(forcechar8) && impl(ghc) base (>=4.5)
lp2yices	base (>=4 && <5) containers mtl OptDir parsec
cnf2lp	array base (>=4 && <5) bytestring containers mtl OptDir parse-dimacs parsec
maxsat2lp	array base (>=4 && <5) containers mtl OptDir parsec
pb2lp	array base (>=4 && <5) containers mtl OptDir parsec

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