Added Cesare to list of authors

diff --git a/AUTHORS b/AUTHORS
index 5b28d60451e78e89e50f27718540453f7713eac7..a6aa231271c92059acdbac67c756f2af0078909b 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -8,6 +8,7 @@ The core authors and designers of CVC4 are:
   Tim King <taking@cs.nyu.edu>, New York University
   Mina Jeong <mjeong@cs.nyu.edu>, New York University
   Dejan Jovanovic <dejan@cs.nyu.edu>, New York University
+  Cesare Tinelli <tinelli@cs.uiowa.edu>, University of Iowa
 
 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