graph-tool: Efficent network analysis with python·graph-tool.skewed.de·Jul 14, 2021graph-tool: Efficent network analysis with python