/Domains/
../
Examples
hu.bme.mit.inf.dslreasoner.domains.alloyexamples
hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph
hu.bme.mit.inf.yakinduModelExtractor