gap-prim-groups 4r7p8-1 (amd64 binary) in ubuntu xenial

 GAP is a system for computational discrete algebra with particular
 emphasis on computational group theory, but which has already proved
 useful also in other areas. In the example text, gap is used to
 analyse Rubik's Cube using group theory. A kernel implements a Pascal-like
 language.
 .
 This package contains the database of primitive groups.