graph-tool is an efficient Python module for manipulation and statistical analysis of graphs
