toysolver-0.4.0: dependencies | Hackage

Dependencies for toysolver-0.4.0

library	array (>=0.4.0.0) base (>=4.6 && <4.11) 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 && <0.9.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 mwc-random (>=0.13.1 && <0.14) OptDir parse-dimacs parsec (>=3.1.2 && <4) prettyclass (>=1.0.0) primes process (>=1.1.0.2) pseudo-boolean (>=0.1.3.0 && <0.2.0.0) queue semigroups (>=0.17) sign (>=0.2.0 && <1.0.0) stm (>=2.3) template-haskell time transformers (>=0.2) transformers-compat (>=0.3) type-level-numbers (>=0.1.1.0 && <0.2.0.0) unordered-containers (>=0.2.3 && <0.3.0) vector vector-space (>=0.8.6) if flag(exceptions06) exceptions (>=0.6) temporary (>1.2.0.2) else exceptions (==0.5) temporary (>=1.2) if impl(ghc<7.7) MemoTrie (<=0.6.2) if flag(transformers051) transformers (>=0.5.1.0) else transformers (<0.5.1.0) if impl(ghc) ghc-prim
toysolver	array base containers data-default-class filepath OptDir parse-dimacs pseudo-boolean toysolver
toysat	array base bytestring containers data-default-class filepath mwc-random parse-dimacs parsec process (>=1.1.0.2) pseudo-boolean toysolver unbounded-delays vector vector-space if flag(time15) time (>=1.5.0) else old-locale time (<1.5.0) if flag(forcechar8) && impl(ghc) base (>=4.5)
toysmt	base containers data-default-class mtl parsec toysolver transformers transformers-compat if flag(usehaskeline) haskeline (>=0.7 && <0.8) if flag(forcechar8) && impl(ghc) base (>=4.5)
toyfmf	if !flag(buildtoyfmf) buildable: False if flag(buildtoyfmf) base containers logic-TPTP (>=0.4.1) toysolver if impl(ghc<7.9) && flag(transformers051) logic-TPTP (>=0.4.4.0)
lpconvert	base data-default-class filepath parse-dimacs pseudo-boolean toysolver
pbconvert	base (>=4 && <5) data-default-class filepath parse-dimacs pseudo-boolean toysolver
sudoku	array base toysolver if !flag(buildsampleprograms) buildable: False
nonogram	array base containers toysolver if !flag(buildsampleprograms) buildable: False
nqueens	array base toysolver if !flag(buildsampleprograms) buildable: False
knapsack	base toysolver if !flag(buildsampleprograms) buildable: False
htc	base containers toysolver if !flag(buildsampleprograms) buildable: False
svm2lp	base containers data-default-class split toysolver if !flag(buildsampleprograms) buildable: False
pigeonhole	base containers pseudo-boolean toysolver if !flag(buildmiscprograms) buildable: False
maxsatverify	array base toysolver if !flag(buildmiscprograms) buildable: False
pbverify	array base pseudo-boolean toysolver if !flag(buildmiscprograms) buildable: False

Flags

Manual Flags

Name	Description	Default
forcechar8	set default encoding to char8 (not to use iconv)	Disabled
linuxstatic	build statically linked binaries	Disabled
buildtoyfmf	build toyfmf command	Disabled
buildsampleprograms	build sample programs	Disabled
buildmiscprograms	build misc programs	Disabled
usehaskeline	use haskeline package	Enabled

Automatic Flags

Name	Description	Default
exceptions06	use exceptions >=0.6	Enabled
time15	use time >=1.5.0	Enabled
transformers051	use transformers >=0.5.1	Enabled

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