From: Clark Barrett <barrett@cs.nyu.edu>
Date: Mon, 5 Jul 2010 16:49:48 +0000 (+0000)
Subject: Changed AUTHORS - removed references to earlier CVC tool authors
X-Git-Tag: cvc5-1.0.0~8948
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=21f49239035853f244eb32956572cfd6559358f1;p=cvc5.git

Changed AUTHORS - removed references to earlier CVC tool authors
---

diff --git a/AUTHORS b/AUTHORS
index 21217b578..5b28d6045 100644
--- 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