what4-1.2.1: dependencies

Dependencies for what4-1.2.1

library	attoparsec (>=0.13) base (>=4.8 && <5) bifunctors (>=5) bimap (>=0.2) bv-sized (>=1.0.0) bytestring (>=0.10) config-value (>=0.8 && <0.9) containers (>=0.5.0.0) data-binary-ieee754 deepseq (>=1.3) deriving-compat (>=0.5) directory (>=1.2.2) exceptions (>=0.10) extra (>=1.6) filepath (>=1.3) fingertree (>=0.1.4) ghc-prim (>=0.5.2) hashable (>=1.3 && <1.4) hashtables (>=1.2.3) io-streams (>=1.5) lens (>=4.18) libBF (>=0.6 && <0.7) mtl (>=2.2.1) panic (>=0.3) parameterized-utils (>=2.1 && <2.2) prettyprinter (>=1.7.0) process (>=1.2) scientific (>=0.3.6) template-haskell temporary (>=1.2) text (>=1.2.4.0 && <1.3) th-abstraction (>=0.1 && <0.5) th-lift (>=0.8.2 && <0.9) th-lift-instances (>=0.1 && <0.2) transformers (>=0.4) unordered-containers (>=0.2.10) utf8-string (>=1.0.1) vector (>=0.12.1) versions (>=4.0 && <6.0) zenc (>=0.1.0 && <0.2.0)
quickstart	base parameterized-utils what4

library

attoparsec (>=0.13)
base (>=4.8 && <5)
bifunctors (>=5)
bimap (>=0.2)
bv-sized (>=1.0.0)
bytestring (>=0.10)
config-value (>=0.8 && <0.9)
containers (>=0.5.0.0)
data-binary-ieee754
deepseq (>=1.3)
deriving-compat (>=0.5)
directory (>=1.2.2)
exceptions (>=0.10)
extra (>=1.6)
filepath (>=1.3)
fingertree (>=0.1.4)
ghc-prim (>=0.5.2)
hashable (>=1.3 && <1.4)
hashtables (>=1.2.3)
io-streams (>=1.5)
lens (>=4.18)
libBF (>=0.6 && <0.7)
mtl (>=2.2.1)
panic (>=0.3)
parameterized-utils (>=2.1 && <2.2)
prettyprinter (>=1.7.0)
process (>=1.2)
scientific (>=0.3.6)
template-haskell
temporary (>=1.2)
text (>=1.2.4.0 && <1.3)
th-abstraction (>=0.1 && <0.5)
th-lift (>=0.8.2 && <0.9)
th-lift-instances (>=0.1 && <0.2)
transformers (>=0.4)
unordered-containers (>=0.2.10)
utf8-string (>=1.0.1)
vector (>=0.12.1)
versions (>=4.0 && <6.0)
zenc (>=0.1.0 && <0.2.0)

quickstart

Name	Description	Default
solvertests	extra tests that require all the solvers to be installed	Disabled
drealtestdisable	when running solver tests, disable testing using dReal (ignored unless -fsolverTests)	Disabled
stptestdisable	when running solver tests, disable testing using STP (ignored unless -fsolverTests)	Disabled

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