-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
+The authors, designers, and main contributors to CVC4 are listed below.
+CVC4'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 CVC4.
+
+The developers and authors of CVC4 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
+ Ahmed Irfan, Stanford University
+ 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
+ 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 CVC4 codebase are listed in the THANKS file.
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
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 Christopher Sean
-Morrison, and copyright U.S. Army Research Laboratory.