aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality
Commit message (Collapse)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
| | | | | This does not mappter for propagateAllScopeConstraints(), but propagateAdditionToType gets more exact this way.
* 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-17 16:40:58 +0000