Re: [graph-tool] checking if an edge exist?