aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage
Commit message (Expand)AuthorAge
* 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:25:18 +0000