mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 11:42:28 +00:00
Code Activity

updated release notes

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-01-31 09:49:16 -08:00
parent 8ae24e2b38
commit edc5679530
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
RELEASE_NOTES.md
View file

@ -14,6 +14,7 @@ Versoin 4.14.0
==============
- [SLS modulo theories](https://microsoft.github.io/z3guide/programming/Local%20Search/) engine v1 release.
- API for accessing term [depth and groundness](https://github.com/Z3Prover/z3/pull/7479).
- Two fixes to relevancy propagation thanks to Can Cebeci. Two instacnes where literals lemmas and axioms were not marked relevant and therefore not propagated to other theories. Theory lemmas are replayed during backjumping and have are now by default marked relevant.
- A new API for solving LRA variables modulo constraints.
- Performance and bug fixes.