/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/
../
ModelGenerationMethodBasedGlobalConstraint.xtend
ModelGenerationMethodProvider.xtend
ViatraReasoner.xtend
ViatraReasonerConfiguration.xtend
diversity
dse
optimization