diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-06 10:56:41 -0800 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-06 10:56:44 -0800 |
commit | d951eec4de366f1cc954dbaf6ffbd651fc6c383c (patch) | |
tree | a5f6157e0fe5a702b2aae0017d9d4eff1f6ce896 /AUTHORS | |
parent | a4d54bbae0237596c2de98d56dea5e5d782d0eb2 (diff) |
Updated authors list
Diffstat (limited to 'AUTHORS')
-rw-r--r-- | AUTHORS | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 |