From: Clark Barrett <barrett@cs.nyu.edu>
Date: Tue, 31 May 2016 01:01:14 +0000 (-0700)
Subject: Added Guy to authors list.
X-Git-Tag: cvc5-1.0.0~6049^2~20
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ae5236eeda43ff591b9264d653727d4ae7d1de68;p=cvc5.git

Added Guy to authors list.
---

diff --git a/AUTHORS b/AUTHORS
index dc53ff645..d157ec958 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -14,6 +14,7 @@ The core designers and authors of CVC4 are:
   Morgan Deters, New York University
   Liana Hadarean, New York University, Mentor Graphics Corporation
   Dejan Jovanovic, New York University, SRI International
+  Guy Katz, New York University
   Tim King, New York University, Universite Joseph Fourier, Google, Inc.
   Tianyi Liang, The University of Iowa
   Andrew Reynolds, The University of Iowa, EPFL