Dependency Graph for z3-solver 4.8.0.0.post1