Dependencies for z3-408.2

Libraries

z3

base (>=4.5 && <5)
containers
transformers (>=0.2)
if impl(ghc<8)
- semigroups (>=0.5)

Executables

examples

if flag(examples)
- base (>=4.5)
- containers
- transformers (>=0.2)
- z3
else
- buildable: False

Flags

Manual Flags

Name	Description	Default
examples	Build examples.	Disabled

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