From 773f90f12265337e9194a117dde04e0f74983ba9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 5 Oct 2015 09:31:14 -0700
Subject: [PATCH] add to release notes

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 RELEASE_NOTES | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index 7afde529e..6746c1a54 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -7,6 +7,14 @@ Version 4.4.1
 
 - A multitude of bugs has been fixed.
 
+- New Feature: Support for optimization queries. The SMT-LIB2 command language
+  is augmented by three commands (maximize <expr>), (minimize <expr) 
+  and (assert-soft <expr> [:weight <numeral>] [:id <identifier>]). 
+  The programmatic API also contains a dedicated context for solving 
+  optimization queries. The TACAS 2015 tool paper by Bjorner, Dung and 
+  Fleckenstein describes additional details and the online tutorial on 
+  http://rise4fun.com/z3opt illustrates some uses.
+
 
 Version 4.4.0
 =============