/Solvers/VIATRA-Solver/
../
hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra
hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage
hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner
hu.bme.mit.inf.dslreasoner.visualisation
org.eclipse.viatra.dse