Re: [graph-tool] Getting Started with Graph Tool