SolverLanguage.ecore