diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-02 14:08:34 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-02 14:08:59 -0400 |
commit | 2c8a7a32b9694f6b1f3da1f9fa577ff94e35fb78 (patch) | |
tree | 2e7819d47e9a4614727eedf5ad97e4e3ade5f790 | |
parent | c9e861d2a6964633d12448966e979299c8793466 (diff) |
Update AUTHORS affiliations and add Martin.
-rw-r--r-- | AUTHORS | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -2,14 +2,15 @@ The core authors and designers of CVC4 are: Kshitij Bansal <kshitij@cs.nyu.edu>, New York University Clark Barrett <barrett@cs.nyu.edu>, New York University - Francois Bobot <bobot@lri.fr>, Paris-Sud University - Christopher Conway <cconway@cs.nyu.edu>, New York University + Francois Bobot <bobot@lri.fr>, Commissariat a l'Energie Atomique (CEA) + Martin Brain <martin.brain@cs.ox.ac.uk>, University of Oxford + Christopher Conway <cconway@cs.nyu.edu>, Google Morgan Deters <mdeters@cs.nyu.edu>, New York University Liana Hadarean <lianah@cs.nyu.edu>, New York University - Dejan Jovanovic <dejan@cs.nyu.edu>, New York University + Dejan Jovanovic <dejan@cs.nyu.edu>, SRI International Tim King <taking@cs.nyu.edu>, New York University Tianyi Liang <tianyi-liang@uiowa.edu>, The University of Iowa - Andrew Reynolds <andrew.j.reynolds@gmail.com>, The University of Iowa + Andrew Reynolds <andrew.j.reynolds@gmail.com>, EPFL Cesare Tinelli <tinelli@cs.uiowa.edu>, The University of Iowa CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does |