aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver
Commit message (Expand)AuthorAge
* Adding visualisation support for partial interpretations.Libravatar OszkarSemerath2017-07-12
* The generated patterns follow the new naming convention.Libravatar OszkarSemerath2017-07-12
* Changed naming convention in generated logic problems.Libravatar OszkarSemerath2017-07-12
* Support for generationg multiple difference models by VIATRA-SolverLibravatar OszkarSemerath2017-07-05
* Divers Generation times are added to statisticsexample scenarioLibravatar OszkarSemerath2017-06-16
* Added generated Xtext artefactsLibravatar OszkarSemerath2017-06-10
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10