python implementation of VF-graph-matching algorithm