Algorithm conauto for Graph Isomorphism Testing and automorphism group
computation.