Re: [graph-tool] specifying the number of cores