summaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
Diffstat (limited to 'README')
-rw-r--r--README6
1 files changed, 3 insertions, 3 deletions
diff --git a/README b/README
index d70d4c221..4ae472659 100644
--- a/README
+++ b/README
@@ -2,10 +2,10 @@ This is CVC4 release version 1.0. 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
-years of efforts by researchers at New York University and the
+years of efforts by researchers at New York University and The
University of Iowa. The project leaders are Clark Barrett (New York
-University) and Cesare Tinelli (University of Iowa). For a full list
-of authors, please refer to the AUTHORS file in the source
+University) and Cesare Tinelli (The University of Iowa). For a full
+list of authors, please refer to the AUTHORS file in the source
distribution.
CVC4 is a tool for determining the satisfiability of a first order
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback