Defaultgraphs.IntPkgGraphSourceInteger Imperative Bidirectional Graph. Mainly used in Strong Conflicts
add to the graph all conjunctive dependencies of package id
for all id \in idlist add to the graph all conjunctive dependencies
given a graph return the conjunctive dependency closure of the package id
Build the dependency graph from the given index. conjunctive and disjunctive dependencies are considered as equal