Re: [graph-tool] weighted undirected graph partitioning