aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/GoalConstraintProvider.xtend
Commit message (Expand)AuthorAge
* Fix scope + numerical solver interactionLibravatar Kristóf Marussy2020-06-28
* Fix scope + numerical propagation WIPLibravatar Kristóf Marussy2020-06-27
* Merge branch 'kris'Libravatar Kristóf Marussy2020-06-25
|\
| * Cardinality propagator WIPLibravatar Kristóf Marussy2019-07-24
* | option to calculate object creation costs in fitnessLibravatar Oszkar Semerath2020-05-19
* | removed every occurence of check expressionsLibravatar Oszkar Semerath2020-05-18
* | advanced goal heuristics for missing containment and non-cont. edgesLibravatar Oszkar Semerath2020-05-12
|/
* Migrating Additional projectsLibravatar OszkarSemerath2017-06-10
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-08 02:53:18 +0000