diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-04-28 16:02:06 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-28 16:02:06 -0300 |
| commit | 2040c2b355cf7e916ffd8b29e74ced8a8425689d (patch) | |
| tree | 7e4f83169255e2a39364e7a9150199275eda4605 | |
| parent | 5ec4b57ba3f79db76c5544b3ee37b917f7f0b58e (diff) | |
update Haniel's affiliation (#4404)
| -rw-r--r-- | AUTHORS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |