/Solvers/Alloy-Solver2/
../
hu.bme.mit.inf.dlsreasoner.alloy.reasoner
hu.bme.mit.inf.dslreasoner.alloy.language.ui
hu.bme.mit.inf.dslreasoner.alloy.language