mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 09:34:08 +00:00
Code Activity

rename URL

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-07-05 11:49:52 -07:00
parent cd416ee9a9
commit 2a5d23b301
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
RELEASE_NOTES.md
View file

@ -19,7 +19,7 @@ Version 4.9.0
It also allows incrementality at the level of adding assertions to the It also allows incrementality at the level of adding assertions to the
solver object. solver object.
- Fold/map for sequences: - Fold/map for sequences:
https://microsoft.github.io/rise4fun/docs/guide/Sequences#map-and-fold https://microsoft.github.io/z3guide/docs/guide/Sequences#map-and-fold
At this point these functions are only exposed over the SMTLIB2 interface (and not programmatic API) At this point these functions are only exposed over the SMTLIB2 interface (and not programmatic API)
maxdiff/mindiff on arrays are more likely to be deprecated maxdiff/mindiff on arrays are more likely to be deprecated
- User Propagator: - User Propagator: