diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-25 13:51:11 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-06-25 14:11:54 -0700 |
| commit | 14b9dbaa0c9e8dce52d1a28595dc1cc80756abed (patch) | |
| tree | 0bb73ac56ff0e92d71152409aa0d3acd9547e235 /AUTHORS | |
| parent | 8805781adbfb3f57c4765307c82267b1fabdf2b4 (diff) | |
Update AUTHORS, NEWS, README, RELEASE-NOTES and THANKS file for 1.6.
Diffstat (limited to 'AUTHORS')
| -rw-r--r-- | AUTHORS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -24,6 +24,7 @@ The core designers and authors of CVC4 are: Mathias Preiner, Stanford University Andrew Reynolds, The University of Iowa, EPFL Cesare Tinelli, The University of Iowa + Yoni Zohar, Stanford University Other contributors to the CVC4 codebase are listed in the THANKS file. |