Re: [graph-tool] Graph products in graph-tool: does implementation exist?