aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver
Commit message (Expand)AuthorAge
* 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