graph automorphism を計算するツール saucy http://vlsicad.eecs.umich.edu/BK/SAUCY/