Dependency Graph for minizinc 0.5.0