Main implementation of the Constretto framework