aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers
Commit message (Expand)AuthorAge
* added /xtend-gen/ to excluded folders.Libravatar OszkarSemerath2017-07-12
* Graphviz based visualisation for the concretizations of partial models.Libravatar OszkarSemerath2017-07-12
* Rearranged the solver configuration into different subsectionsLibravatar OszkarSemerath2017-07-12
* 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
* Adding multiple model generation support for the alloy solver.Libravatar OszkarSemerath2017-07-05
* SMT solver implementation of multiple model generationLibravatar OszkarSemerath2017-07-02
* Alloy implementation of multiple model generationLibravatar OszkarSemerath2017-07-02
* Divers Generation times are added to statisticsexample scenarioLibravatar OszkarSemerath2017-06-16
* Instruction to install alloy addedLibravatar OszkarSemerath2017-06-10
* Added generated artefacts for the alloy parserLibravatar OszkarSemerath2017-06-10
* Added generated Xtext artefactsLibravatar OszkarSemerath2017-06-10
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-02 21:28:35 +0000