Re: [graph-tool] Parallel algorithms in graph-tool