aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage
Commit message (Expand)AuthorAge
* Moved partial model management is moved to one project (+1 PM edge fix)Libravatar OszkarSemerath2018-05-14
* Refactored to the milestone version of Viatra 2.0Libravatar OszkarSemerath2018-05-08
* Updated and fixed dependencies:Libravatar OszkarSemerath2018-05-07
* upgraded attribute support for the graph solverLibravatar OszkarSemerath2018-03-24
* Fixed nasty bug with creating root elementLibravatar OszkarSemerath2018-03-05
* neighbourhood calculated to fix rangeLibravatar OszkarSemerath2017-10-27
* Representation included trace by accidentLibravatar OszkarSemerath2017-10-27
* Simple visualiser that prints the size of the intermediate solution.Libravatar OszkarSemerath2017-08-27
* Primitive types added to the logic problem only if neededLibravatar OszkarSemerath2017-08-27
* Added separate symbolic objects to all primitive objectsLibravatar OszkarSemerath2017-08-16
* Added known primitives to the scopeLibravatar OszkarSemerath2017-08-15
* Partial interpretation from initial instance modelLibravatar OszkarSemerath2017-08-15
* Literals from the problem are added to the initial set of primitiveLibravatar OszkarSemerath2017-08-15
* Partial interpretation initialiser with primitive typesLibravatar OszkarSemerath2017-08-15
* Primitive elements in the partial interpretationLibravatar OszkarSemerath2017-08-15
* Added primitive types to the model codeLibravatar OszkarSemerath2017-08-15
* Adding visualisation support for partial interpretations.Libravatar OszkarSemerath2017-07-12
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 15:12:32 +0000