Merge branch '1.4.x'
[cvc5.git] / README
diff --git a/README b/README
index c09fe979cb4bea9f284c0b05e858b9dd048f70fe..bd4f29b57d10a44a8f822744ea43cfe827513384 100644 (file)
--- a/README
+++ b/README
@@ -1,4 +1,4 @@
-This is CVC4 release version 1.3.  For build and installation notes,
+This is CVC4 release version 1.4.  For build and installation notes,
 please see the INSTALL file included with this distribution.
 
 This first official release of CVC4 is the result of more than three
@@ -17,8 +17,8 @@ from any previous version.
 CVC4 is intended to be an open and extensible SMT engine.  It can be
 used as a stand-alone tool or as a library.  It has been designed to
 increase the performance and reduce the memory overhead of its
-predecessors.  It is written entirely in C++ and is released under a
-free software license (see the file COPYING in the source
+predecessors.  It is written entirely in C++ and is released under an
+open-source software license (see the file COPYING in the source
 distribution).
 
 *** Getting started with CVC4