From: Clark Barrett <barrett@cs.nyu.edu>
Date: Mon, 5 Jul 2010 17:29:16 +0000 (+0000)
Subject: Added Cesare to list of authors
X-Git-Tag: cvc5-1.0.0~8947
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5c1a60fcd8681b67208aa930d8c133e10b227314;p=cvc5.git

Added Cesare to list of authors
---

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