Changed AUTHORS - removed references to earlier CVC tool authors

diff --git a/AUTHORS b/AUTHORS
index 21217b578f88b84a99991152f376fe5dbcb8c6e2..5b28d60451e78e89e50f27718540453f7713eac7 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -9,33 +9,9 @@ The core authors and designers of CVC4 are:
   Mina Jeong <mjeong@cs.nyu.edu>, New York University
   Dejan Jovanovic <dejan@cs.nyu.edu>, New York University
 
-The following individuals contributed code to CVC3 that may have been
-incorporated into CVC4:
-
-  Clark Barrett, New York University
-  Christopher Conway <cconway@cs.nyu.edu>, New York University
-  Alexander Fuchs, University of Iowa
-  Yeting Ge, New York Univeristy
-  George Hagen, University of Iowa
-  Dejan Jovanovic <dejan@cs.nyu.edu>, New York University
-
-The following individuals contributed code to CVC Lite that may have been
-incorporated in CVC4:
-
-  Clark Barrett, New York University
-  Sergey Berezin, Stanford University
-  Cristian Cadar, Stanford University
-  Jake Donham, New York University
-  Yeting Ge, New York Univeristy
-  Vijay Ganesh, Stanford University
-  Deepak Goyal, Calypto
-  Ying Hu, New York University
-  Sean McLaughlin, New York University
-  Mehul Trivedi, Stanford University
-  Michael Veksler, Technion, Israel
-  Daniel Wichs, Stanford University
-  Mark Zavislak, Stanford University
-  Jim Zhuang, Stanford University
+CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does
+not directly incorporate code from any previous version.  Information about
+authors of previous CVC tools is included with their distributions.
 
 CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson