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

Update RELEASE_NOTES.md

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-07-04 17:16:56 -07:00 committed by GitHub
parent 2990b69299
commit 2cf0c8173b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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

@ -23,7 +23,7 @@ Version 4.9.0
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:
- Add functions and callbacks for external control over branching - Add functions and callbacks for external control over branching thanks to Clemens Eisenhofer
- A functioning dotnet API for the User Propagator - A functioning dotnet API for the User Propagator
https://github.com/Z3Prover/z3/blob/master/src/api/dotnet/UserPropagator.cs https://github.com/Z3Prover/z3/blob/master/src/api/dotnet/UserPropagator.cs
- Java Script API - Java Script API