Re: [graph-tool] SNAP vs. Graph-tools