From 19858c44b2999e8a14eb4febb4a53fc72756d333 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Fri, 4 Nov 2016 19:39:53 +0000
Subject: [PATCH] Added release notes for the upcoming 4.5.0 release

---
 RELEASE_NOTES | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index 6746c1a54..38b6d9f6c 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -1,5 +1,22 @@
 RELEASE NOTES
 
+Version 4.5.0
+=============
+
+- New features:
+  - New theories of strings and sequences.
+  - Incremental consequence finder for finite domains.
+  - CMake build system (thanks @delcypher).
+  - Updated and improved OCaml API (thanks @martin-neuhaeusser).
+  - Updated and improved Java API (thanks @cheshire).
+  - New resource limit facilities to avoid non-deterministic timeout behaviour.
+  - New bit-vector simplification and ackermannization tactics (thanks @MikolasJanota, @nunoplopes).
+  - QSAT: a new solver for quantified arithmetic problems. See:
+    Bjorner, Janota: Playing with Quantified Satisfaction, LPAR 2016.
+
+- A multitude of bugs has been fixed.
+
+
 Version 4.4.1
 =============