From d951eec4de366f1cc954dbaf6ffbd651fc6c383c Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Tue, 6 Feb 2018 10:56:41 -0800 Subject: [PATCH] Updated authors list --- AUTHORS | 3 +++ 1 file changed, 3 insertions(+) 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 -- 2.30.2