interface to nauty (Graphs fork)