From 14b9dbaa0c9e8dce52d1a28595dc1cc80756abed Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Mon, 25 Jun 2018 13:51:11 -0700 Subject: Update AUTHORS, NEWS, README, RELEASE-NOTES and THANKS file for 1.6. --- README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README') diff --git a/README b/README index 593a18bf2..0a8a37879 100644 --- a/README +++ b/README @@ -1,4 +1,4 @@ -This is CVC4 release version 1.5. For build and installation notes, +This is CVC4 release version 1.6. For build and installation notes, please see the INSTALL file included with this distribution. The project leaders are Clark Barrett (Stanford University) and Cesare -- cgit v1.2.3