Everything related to graphs: edges, nodes and, of course, graphs.
The most important part of this module is Graph. However, if you want to manually build graphs, you will need to use Edge.
Graph
Edge
A (variable, constraint) pair.
A bipartite regular graph.
A node in the graph.
An iterator for a set of nodes in a graph.