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

Update RELEASE_NOTES.md

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-08-10 14:24:03 -07:00
parent 8598a74cca
commit b7d5add9c4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
RELEASE_NOTES.md
View file

@ -14,7 +14,7 @@ Version 4.15.3
the callback signals that the instantiation should be discarded by the solver. The user propagator the callback signals that the instantiation should be discarded by the solver. The user propagator
is then able to apply finer control over instantiations. It can also use this mechanism to delay is then able to apply finer control over instantiations. It can also use this mechanism to delay
instantiations. instantiations.
- Deprecate z3str3
Version 4.15.2 Version 4.15.2
============== ==============