/Domains/
../
Examples
ca.mcgill.rtgmrt.example.modes3
crossingScenario
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