Nauty (no automorphisms, yes?) is a set of procedures for computing automorphism groups of graphs and digraphs. this mathematical software suite is developed by brendan mckay and adolfo piperno: http://pallini.di.uniroma1.it

this package provides the user guide for the nauty mathematical software suite; it also contains examples and extra technical documentations.