aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests
Commit message (Expand)AuthorAge
* Make CbcPolyhedronSolver more robustLibravatar Kristóf Marussy2019-07-29
* Parse rational numbers in Z3PolyhedronSolverLibravatar Kristóf Marussy2019-07-25
* Cardinality propagator WIPLibravatar Kristóf Marussy2019-07-24
* Implement Coin-OR CBC polyhedron saturation operatorLibravatar Kristóf Marussy2019-07-19
* Polyhedron abstraction with Z3 for cardinality propagationLibravatar Kristóf Marussy2019-07-14
* Interval power and aggregator fixLibravatar Kristóf Marussy2019-05-10
* Neutral element for sum is [0, 0]Libravatar Kristóf Marussy2019-05-10
* Interval aggregation operatorsLibravatar Kristóf Marussy2019-05-09
* Fix interval joinLibravatar Kristóf Marussy2019-05-09
* Interval comparisonLibravatar Kristóf Marussy2019-05-09
* Implement interval arithmetic without exponentiationLibravatar Kristóf Marussy2019-05-08
generated by cgit v1.2.3-54-g00ecf (git 2.44.0) at 2024-05-03 00:46:22 +0000