[graph-tool] Efficient Bipartite Projection