/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/
../
Modality.java
ModelGenerationMethodProvider.xtend
MultiplicityGoalConstraintCalculator.xtend
PropagationModality.java
ScopePropagator.xtend
TypeAnalysis.xtend
formulacanonization
patterns
rules
util