Dependencies for liquid-fixpoint-0.9.2.5
Libraries
liquid-fixpoint
- aeson
- ansi-terminal
- array
- async
- attoparsec
- base (>=4.9.1.0 && <5)
- binary
- boxes
- bytestring (>=0.10.2.1)
- cereal
- cmdargs
- containers
- deepseq
- directory
- fgl
- filepath
- hashable
- intern
- lens-family
- megaparsec (>=7.0.0 && <10)
- mtl
- parallel
- parser-combinators
- pretty (>=1.1.3.1)
- process
- rest-rewrite (>=0.3.0)
- smtlib-backends (>=0.3)
- smtlib-backends-process (>=0.3)
- stm
- store
- syb
- text
- transformers
- typed-process
- unordered-containers
- vector (<0.13)
- if flag(link-z3-as-a-library)
- smtlib-backends-z3 (>=0.3)
- if !os(windows)
- ascii-progress (>=0.3)
Executables
fixpoint
- base (>=4.9.1.0 && <5)
- liquid-fixpoint
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| link-z3-as-a-library | link z3 as a library for faster interactions with the SMT solver | Disabled |
| devel | turn on stricter error reporting for development | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info