Dependencies for what4-1.1
Libraries
what4
- 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)
- 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 && <5.0)
- zenc (>=0.1.0 && <0.2.0)
Executables
quickstart
Flags
Manual Flags
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