Reverse dependencies for z3

2 eggs depend on z3 (2 direct, 0 indirect)

Legend

	Egg whose installation failed
	Egg whose tests failed
	Direct connection
	Indirect connection