aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model
Commit message (Expand)AuthorAge
* When there is a definition to a declaration in the logic problem, theLibravatar OszkarSemerath2017-07-05
* Multiple model with interpretationsLibravatar OszkarSemerath2017-07-02
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10