The "conauto" algorithm tests whether two graphs are isomorphic. This is the reference implementation.