From: Aina Niemetz Date: Tue, 6 Feb 2018 18:56:41 +0000 (-0800) Subject: Updated authors list X-Git-Tag: cvc5-1.0.0~5327 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d951eec4de366f1cc954dbaf6ffbd651fc6c383c;p=cvc5.git Updated authors list --- diff --git a/AUTHORS b/AUTHORS index 7bd9ada06..92a4b702f 100644 --- a/AUTHORS +++ b/AUTHORS @@ -7,6 +7,7 @@ the copyright and licensing of CVC4. The core designers and authors of CVC4 are: Kshitij Bansal, New York University, Google + Haniel Barbosa, The University of Iowa Clark Barrett, New York University, Google, Stanford University Francois Bobot, The University of Iowa, Commissariat a l'Energie Atomique Martin Brain, University of Oxford @@ -18,7 +19,9 @@ The core designers and authors of CVC4 are: Tim King, New York University, Universite Joseph Fourier, Google Tianyi Liang, The University of Iowa Paul Meng, The University of Iowa + Aina Niemetz, Stanford University Andres Noetzli, Stanford University + Mathias Preiner, Stanford University Andrew Reynolds, The University of Iowa, EPFL Cesare Tinelli, The University of Iowa