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
* 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-11 07:37:49 +0000