/Domains/
../
.project
Examples
ca.mcgill.rtgmrt.example.modes3
github-graph
hu.bme.mit.inf.dslreasoner.domains.alloyexamples
hu.bme.mit.inf.dslreasoner.domains.cps
hu.bme.mit.inf.dslreasoner.domains.satellite
hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph
hu.bme.mit.inf.yakinduModelExtractor