Merge requests · pub / colibrics

Allows to detect contradiction when looking for choices

!44 · created Nov 16, 2023 by François Bobot
- Merged
- 4
updated Nov 21, 2023
Fix and simplify interpretation

!39 · created Oct 12, 2023 by François Bobot
- Merged
updated Nov 16, 2023
Fixes propagation of zero into known non-zero variable

!43 · created Oct 26, 2023 by François Bobot
- Merged
updated Nov 16, 2023
Fix model finding for reals

!42 · created Oct 16, 2023 by François Bobot
- Merged
updated Oct 20, 2023
[Simplex] readd the accelerator when looking for equalities

!41 · created Oct 13, 2023 by François Bobot
- Merged
updated Oct 13, 2023
Uninterp use disequalities for models

!40 · created Oct 13, 2023 by François Bobot
- Merged
updated Oct 13, 2023
Minor cosmetic changes

!38 · created Oct 11, 2023 by Hichem R. A.
- Merged
- Approved
updated Oct 12, 2023
Bobot/abs

!36 · created Oct 05, 2023 by François Bobot
- Merged
updated Oct 11, 2023
Regression

!37 · created Oct 10, 2023 by François Bobot
- Merged
updated Oct 10, 2023
Simplify equality module by using tag even if disequality unknown

!33 · created Jun 15, 2023 by François Bobot
- Merged
- Approved
updated Sep 23, 2023
[CI] update docker and bump ocaml version

!35 · created Sep 15, 2023 by François Bobot
- Merged
updated Sep 15, 2023
Update deps

!34 · created Jul 10, 2023 by Hichem R. A.
- Merged
- 2
updated Sep 15, 2023
Update ocplib-simplex, some fixes

!32 · created Jun 13, 2023 by François Bobot
- Merged
updated Jun 13, 2023
Add general disequality hook

!31 · created Apr 03, 2023 by François Bobot
- Merged
- 2
updated Apr 03, 2023
Update Changes

!29 · created Feb 06, 2023 by François Bobot
- Merged
updated Mar 30, 2023
[Array] Fix ext application on arrays of different types

!30 · created Feb 15, 2023 by Hichem R. A.
- Merged
updated Feb 15, 2023
Fix some heuristics

!28 · created Jan 23, 2023 by François Bobot
- Merged
updated Feb 06, 2023
New array and sequence theory

!27 · created Jan 21, 2023 by François Bobot
- Merged
- 1
updated Feb 06, 2023
Fix and domain propagation

!26 · created Nov 08, 2022 by François Bobot
- Merged
updated Jan 19, 2023
[Quant] Substitute by prefering existing terms to new equal one

!25 · created Sep 12, 2022 by François Bobot
- Merged
- 1
updated Sep 12, 2022