Dependencies for liquid-fixpoint-0.2.0.0
Libraries
liquid-fixpoint
- ansi-terminal
- array
- attoparsec
- base (>=4 && <5)
- bifunctors
- bytestring
- cmdargs
- containers
- deepseq
- directory
- filemanip
- filepath
- ghc-prim
- hashable
- intern
- mtl
- parsec
- pretty
- process
- syb
- text
- text-format
- transformers
- unordered-containers
Executables
fixpoint.native
- ansi-terminal
- array
- base (>=4 && <5)
- bifunctors
- bytestring
- cmdargs
- containers
- deepseq
- directory
- filemanip
- filepath
- hashable
- liquid-fixpoint
- mtl
- parsec
- pretty
- process
- syb
- text
- text-format
- unordered-containers
fixpoint
- ansi-terminal
- array
- base (>=4 && <5)
- bifunctors
- bytestring
- cmdargs
- containers
- deepseq
- directory
- filemanip
- filepath
- hashable
- liquid-fixpoint
- mtl
- parsec
- pretty
- process
- syb
- text
- text-format
- unordered-containers
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| z3mem | Link to Z3 | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info