Implementation of GAJA