We would like to be able to compare performance to graph-tool: https://graph-tool.skewed.de
Some algorithms may be different, which can make direct comparisons difficult to do well (for example, stopping criteria for e.g. PageRank could be different).
We would like to be able to compare performance to
graph-tool: https://graph-tool.skewed.deSome algorithms may be different, which can make direct comparisons difficult to do well (for example, stopping criteria for e.g. PageRank could be different).