/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/
../
GenerateProblem.mwe2
Problem.xtext
ProblemRuntimeModule.java
ProblemStandaloneSetup.java
ProblemUtil.java
conversion
generator
naming
resource
scoping
validation