From 5c0d82d555b2d9704b14ac847fd85e430bbf80af Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 12 Oct 2012 16:42:28 -0700 Subject: [PATCH] Updated Release notes Signed-off-by: Leonardo de Moura --- RELEASE_NOTES | 3 +++ 1 file changed, 3 insertions(+) diff --git a/RELEASE_NOTES b/RELEASE_NOTES index af966c9a8..551bc3f16 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -27,6 +27,9 @@ Version 4.2 - 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) ===========================================