/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/
../
AlloyLanguage.xtext
AlloyLanguageRuntimeModule.java
AlloyLanguageStandaloneSetup.java
GenerateAlloyLanguage.mwe2
formatting
generator
scoping
validation