mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

Updated Release notes

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-12 16:42:28 -07:00
parent af13e22f99
commit 5c0d82d555
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
RELEASE_NOTES
View file

@ -27,6 +27,9 @@ Version 4.2
- Added Xor procedure to Z3Py. - Added Xor procedure to Z3Py.
- Z3 by default switches to an incremental solver when a Solver object is used to solve many queries.
In the this version, we switch back to the tactic framework if the incremental solver returns "unknown".
First source code release (October 2, 2012) First source code release (October 2, 2012)
=========================================== ===========================================