Dependency Graph for solvers 1.0