toysolver-0.8.1: dependencies

Dependencies for toysolver-0.8.1

library	array (>=0.5) base (>=4.12 && <4.19) bytestring (>=0.9.2.1 && <0.12) bytestring-builder bytestring-encoding (>=0.1.1.0) case-insensitive clock (>=0.7.1) containers (>=0.5.8) data-default data-default-class data-interval (>=2.0.1 && <2.2.0) deepseq directory extended-reals (>=0.1 && <1.0) filepath finite-field (>=0.9.0 && <1.0.0) hashable (>=1.2 && <1.5.0.0) hashtables heaps intern (>=0.9.1.2 && <1.0.0.0) lattices log-domain loop (>=0.3.0 && <1.0.0) megaparsec (>=7 && <10) MIP (>=0.1.1.0 && <0.2) mtl (>=2.1.2) multiset mwc-random (>=0.13.1 && <0.16) OptDir pretty (>=1.1.2.0 && <1.2) primes primitive (>=0.6) process (>=1.1.0.2) pseudo-boolean (>=0.1.3.0 && <0.2.0.0) queue scientific semigroups (>=0.17) sign (>=0.2.0 && <1.0.0) stm (>=2.3) template-haskell temporary (>=1.2) text (>=1.1.0.0) time (>=1.5.0) transformers (>=0.2) transformers-compat (>=0.3) unordered-containers (>=0.2.3 && <0.3.0) vector (>=0.11) vector-space (>=0.8.6) xml-conduit if flag(withzlib) zlib if flag(opencl) OpenCL (>=1.0.3.4) if impl(ghc) ghc-prim
toysolver	array base containers data-default-class filepath MIP OptDir optparse-applicative (>=0.13) pseudo-boolean scientific toysolver
toysat	array base bytestring clock containers data-default-class filepath megaparsec MIP mwc-random optparse-applicative (>=0.13) pseudo-boolean scientific time toysolver unbounded-delays vector
toysmt	base containers intern mtl optparse-applicative parsec (>=3.1.2 && <4) text toysolver transformers transformers-compat if flag(usehaskeline) haskeline (>=0.7 && <0.9)
toyqbf	base containers data-default-class optparse-applicative toysolver
toyfmf	if !flag(buildtoyfmf) buildable: False if flag(buildtoyfmf) base containers intern logic-TPTP (>=0.4.6.0 && <0.5) optparse-applicative text toysolver
toyconvert	ansi-wl-pprint base bytestring bytestring-builder data-default-class filepath MIP optparse-applicative (<0.18) pseudo-boolean scientific text 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
numberlink	array base bytestring containers data-default-class parsec pseudo-boolean toysolver if !flag(buildsampleprograms) buildable: False
knapsack	base toysolver if !flag(buildsampleprograms) buildable: False
assign	attoparsec base bytestring containers toysolver vector if !flag(buildsampleprograms) buildable: False
shortest-path	base bytestring containers toysolver unordered-containers if !flag(buildsampleprograms) buildable: False
htc	base containers toysolver if !flag(buildsampleprograms) buildable: False
svm2lp	base containers data-default-class MIP scientific split text toysolver if !flag(buildsampleprograms) buildable: False
survey-propagation	base data-default-class toysolver if !flag(buildsampleprograms) buildable: False if flag(opencl) OpenCL
probsat	base clock data-default-class mwc-random optparse-applicative toysolver vector if !flag(buildsampleprograms) buildable: False
pigeonhole	base bytestring 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
withzlib	Use zlib package to support gzipped files	Enabled
buildtoyfmf	build toyfmf command	Disabled
buildsampleprograms	build sample programs	Disabled
buildmiscprograms	build misc programs	Disabled
usehaskeline	use haskeline package	Enabled
opencl	use opencl package	Disabled
extraboundschecking	enable extra bounds checking for debugging	Disabled

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