util
Class representing a dependency graph (Existential version).
Class representing a dependency graph.