diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2016-05-30 18:01:14 -0700 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2016-05-30 18:01:14 -0700 |
| commit | ae5236eeda43ff591b9264d653727d4ae7d1de68 (patch) | |
| tree | 86ef6f38280e4f0a7a1fe78f6bc3a88aecda252a /AUTHORS | |
| parent | e71d5ff52ea5c098df9f0be62c91468a9b5413b5 (diff) | |
Added Guy to authors list.
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -14,6 +14,7 @@ The core designers and authors of CVC4 are: Morgan Deters, New York University Liana Hadarean, New York University, Mentor Graphics Corporation Dejan Jovanovic, New York University, SRI International + Guy Katz, New York University Tim King, New York University, Universite Joseph Fourier, Google, Inc. Tianyi Liang, The University of Iowa Andrew Reynolds, The University of Iowa, EPFL |