Dependency Graph for satisfy-calc 1.1.2