Re: [graph-tool] Graph-tool interface