From 2a5d23b301dae3162cb514eff6c887f93457d8c3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 5 Jul 2022 11:49:52 -0700 Subject: [PATCH] rename URL Signed-off-by: Nikolaj Bjorner --- RELEASE_NOTES.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index 6cec47b5a..4b69522a8 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -19,7 +19,7 @@ Version 4.9.0 It also allows incrementality at the level of adding assertions to the solver object. - 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) maxdiff/mindiff on arrays are more likely to be deprecated - User Propagator: