From 2040c2b355cf7e916ffd8b29e74ced8a8425689d Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Tue, 28 Apr 2020 16:02:06 -0300 Subject: [PATCH] update Haniel's affiliation (#4404) --- AUTHORS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/AUTHORS b/AUTHORS index 7f056c0e6..299d51ce3 100644 --- a/AUTHORS +++ b/AUTHORS @@ -7,7 +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 + Haniel Barbosa, The University of Iowa, Universidade Federal de Minas Gerais Clark Barrett, New York University, Google, Stanford University Francois Bobot, The University of Iowa, Commissariat a l'Energie Atomique Martin Brain, University of Oxford -- 2.30.2