updated NEWS to include inequality solver

diff --git a/NEWS b/NEWS
index e792564baec0f6e0c0dae718559ee2649090e7aa..844610486d3d8a37428ffb3d86e3d63d63ac604d 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -3,6 +3,8 @@ This file contains a summary of important user-visible changes.
 Changes since 1.0
 =================
 
+* bit-vector solver now has a specialized decision procedure for unsigned bit-
+  vector inequalities
 * tuple and record support in the compatibility library
 * user patterns are now supported in the SMT-LIBv1.2 parser
 * SMT-LIB get-model output now is easier to machine-parse: contains (model...)