libnauty
