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