Interface to nauty (Graphs fork)