z3-4.0.0: dependencies

Dependencies for z3-4.0.0

library	base (>=4.5 && <5) containers mtl (>2.1)
examples	if flag(examples) base (>=4.5) containers mtl (>2.1) z3 (>=0.4) else buildable: False

Name	Description	Default
examples	Build examples.	Disabled

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