interface to nauty