AUTHORS

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.