/Application/org.eclipse.viatra.solver.language/model/
../
SolverLanguage.ecore
SolverLanguage.genmodel