aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend
Commit message (Collapse)AuthorAge
* Optimizing generator with linear objective functionsLibravatar Kristóf Marussy2020-11-02
|
* Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
|\
| * Measurements WIPLibravatar Kristóf Marussy2019-08-22
| |
* | Fix numeric-solver-at-endLibravatar Kristóf Marussy2020-05-20
| |
* | Fix attribute export to xmiLibravatar Kristóf Marussy2020-05-20
|/
* Fix boolean element mapping handling in logic structures for VSLibravatar OszkarSemerath2018-11-07
|
* Updated partial model representation handlingLibravatar OszkarSemerath2018-06-13
|
* Bugfixing typo in generated queriesLibravatar OszkarSemerath2017-08-16
|
* Viatra Solver result support for primitive typesLibravatar OszkarSemerath2017-08-15
|
* Support for generationg multiple difference models by VIATRA-SolverLibravatar OszkarSemerath2017-07-05
|
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10