/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/
../
.classpath
.gitignore
.project
.settings
META-INF
build.properties
examples
model
patterns
plugin.properties
plugin.xml
src-gen
src