GitHub repository: BlairArchibald/glasgow-subgraph-solver
Description: A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.