Re: [graph-tool] Colored subgraph_isomorphism