/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.ide/src/
../
main