Implementation of a graph isomorphism algorithm