-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
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