-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
- 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
- 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
- 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
-not directly incorporate code from any previous version. Information about
-authors of previous CVC tools is included with their distributions.
-
-CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson.
-
-The CVC4 parser incorporates some code from ANTLR3, by Jim Idle,
-Temporal Wave LLC.
-
-CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki.
-
-CVC4 contains the pkg.m4 autoconf module by Scott James Remnant.
-
-CVC4 contains the ax_tls.m4 autoconf module by Alan Woodland and
-Diego Elio Petteno.
-
-CVC4 contains the boost.m4 autoconf module by Benoit Sigoure.
-
-CVC4 maintainer versions contain the script autogen.sh, by the
-U.S. Army Research Laboratory.
+The authors, designers, and main contributors to cvc5 are listed below.
+cvc5's copyright is held by these individuals and the affiliated
+institutions at the time of their contributions (note that some authors have
+had more than one affiliated institution). See the file COPYING for details on
+the copyright and licensing of cvc5.
+
+The developers and authors of cvc5 are:
+
+Current:
+ Haniel Barbosa, The University of Iowa, Universidade Federal de Minas Gerais
+ Clark Barrett, New York University, Google, Stanford University
+ Martin Brain, University of Oxford
+ Gereon Kremer, Stanford University
+ Makai Mann, Stanford University
+ Abdalrhman Mohamed, The University of Iowa
+ Mudathir Mohamed, The University of Iowa
+ Aina Niemetz, Stanford University
+ Andres Noetzli, Stanford University
+ Alex Ozdemir, Stanford University
+ Mathias Preiner, Stanford University
+ Andrew Reynolds, The University of Iowa, EPFL
+ Ying Sheng, Stanford University
+ Cesare Tinelli, The University of Iowa
+ Yoni Zohar, Stanford University
+
+Alumni:
+ Kshitij Bansal, New York University, Google
+ Francois Bobot, The University of Iowa, Commissariat a l'Energie Atomique
+ Christopher Conway, New York University, Google
+ Morgan Deters, New York University
+ Liana Hadarean, New York University, Mentor Graphics Corporation
+ Ahmed Irfan, Stanford University
+ Dejan Jovanovic, New York University, SRI International
+ Guy Katz, New York University, Stanford University
+ Tim King, New York University, Universite Joseph Fourier, Google
+ Tianyi Liang, The University of Iowa
+ Paul Meng, The University of Iowa
+
+Other contributors to the cvc5 codebase are listed in the THANKS file.
+
+cvc5 is the fifth in the CVC series of tools (CVC, CVC Lite, CVC3, CVC4) but
+does not directly incorporate code from any previous version prior to CVC4.
+Information about authors of previous CVC tools is included with their
+distributions.
+
+cvc5 contains MiniSAT code by Niklas Een and Niklas Sorensson.
+
+The cvc5 parser incorporates some code from ANTLR3, by Jim Idle, Temporal
+Wave LLC.