Uses nauty for removing isomorphic instances.