/language-ide/src/main/xtext-gen/org/eclipse/viatra/
../
solver