Dependencies for liquid-fixpoint-0.1.0.0
Libraries
liquid-fixpoint
- ansi-terminal
- array
- base
- bifunctors
- bytestring
- cmdargs
- containers
- deepseq
- directory
- filemanip
- filepath
- ghc (==7.6.3)
- ghc-prim
- hashable (<1.2)
- mtl
- parsec
- pretty
- process
- syb
- text
- unordered-containers
Executables
fixpoint
- ansi-terminal
- array
- base (>=4 && <5)
- bifunctors
- bytestring
- cmdargs
- containers
- deepseq
- directory
- filemanip
- filepath
- ghc (==7.6.3)
- ghc-prim
- hashable (<1.2)
- liquid-fixpoint
- mtl
- parsec
- pretty
- process
- syb
- text
- 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