gap-dev binary package in Ubuntu Trusty amd64

 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 GAP compiler and the headers files and
 objects files necessary to build GAP packages.
 .
 The GAP compiler (GAC) creates C code from GAP code and then calls
 the system's C compiler to produce machine code from it. This can
 result in a speedup.

Source package