https://github.com/ciaranm/cp2015-subgraph-isomorphism