libnauty-dev
