Graph-tool is an efficient Python module for manipulation and statistical analysis of graphs. Contrary to most other Python modules with similar...