Dependencies for z3-4.2.0

Libraries

z3

base (>=4.5 && <5)
containers
mtl (>2.1)

Executables

examples

if flag(examples)
- base (>=4.5)
- containers
- mtl (>2.1)
- z3 (>=0.4)
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