/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src/hu/bme/mit/inf/dslreasoner/
../
GenerateSmtLanguage.mwe2
SmtLanguage.xtext
SmtLanguageRuntimeModule.java
SmtLanguageStandaloneSetup.java
formatting
generator
scoping
validation