Provides a GUI for loading metamodels, creating OCL constraints for those metamodels, generate code for them and evaluating them for models.