Interface to nauty