aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/ScopePropagator.xtend
Commit message (Expand)AuthorAge
* OptimizationsLibravatar Kristóf Marussy2020-07-14
* Trying to fix performance regressionsLibravatar Kristóf Marussy2020-07-07
* 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
* Measurements WIPLibravatar Kristóf Marussy2019-08-14
* Counting scope propagator (simpler than BasicTypeHierarchy)Libravatar Kristóf Marussy2019-08-01
* Configurability and better statistics for measurementsLibravatar Kristóf Marussy2019-08-01
* Cardinality propagator WIPLibravatar Kristóf Marussy2019-07-24
* Transitive closure of type hierarchy in ScopePropagatorLibravatar Kristóf Marussy2019-07-14
* Polyhedron abstraction with Z3 for cardinality propagationLibravatar Kristóf Marussy2019-07-14
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-06-02 15:14:09 +0000