/Application/org.eclipse.viatra.solver.language/.launch/
../
Generate SolverLanguage (vsc) Language Infrastructure.launch
Launch Runtime Eclipse.launch