Implementation of SENNA