Re: [graph-tool] More Effective Way of Creating Weighted Graphs