aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality
Commit message (Expand)AuthorAge
* Optimizing generator with linear objective functionsLibravatar Kristóf Marussy2020-11-02
* Must unit propagationLibravatar Kristóf Marussy2020-08-28
* OptimizationsLibravatar Kristóf Marussy2020-07-14
* Trying to fix performance regressionsLibravatar Kristóf Marussy2020-07-07
* Disable unrepairable match scoping for nowLibravatar Kristóf Marussy2020-06-30
* 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
* Polyhedron solver SAT fix and initial scope filteringLibravatar Kristóf Marussy2019-10-29
* Measurements WIPLibravatar Kristóf Marussy2019-08-22
* Measurements WIPLibravatar Kristóf Marussy2019-08-14
* Be more lenient with rounding IP solver resultsLibravatar Kristóf Marussy2019-08-02
* Handle floating point rounding errors in CbcLibravatar Kristóf Marussy2019-08-02
* Counting scope propagator (simpler than BasicTypeHierarchy)Libravatar Kristóf Marussy2019-08-01
* Configurability and better statistics for measurementsLibravatar Kristóf Marussy2019-08-01
* Polyhedron scope propagator for non-containment referencesLibravatar Kristóf Marussy2019-07-30
* Allow infiite upper scope bound in PolyhedronScopePropagatorLibravatar Kristóf Marussy2019-07-29
* Fix CBC timeoutLibravatar Kristóf Marussy2019-07-29
* Make CbcPolyhedronSolver more robustLibravatar Kristóf Marussy2019-07-29
* Parse rational numbers in Z3PolyhedronSolverLibravatar Kristóf Marussy2019-07-25
* Make polyhedron solvers more robustLibravatar Kristóf Marussy2019-07-25
* Containment root constraint propagatorLibravatar Kristóf Marussy2019-07-24
* Cardinality propagator WIPLibravatar Kristóf Marussy2019-07-24
* Implement Coin-OR CBC polyhedron saturation operatorLibravatar Kristóf Marussy2019-07-19
* 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.2) at 2024-07-08 02:50:50 +0000