AUTHORS

   1 The authors, designers, and main contributors to cvc5 are listed below.
   2 cvc5's copyright is held by these individuals and the affiliated
   3 institutions at the time of their contributions (note that some authors have
   4 had more than one affiliated institution).  See the file COPYING for details on
   5 the copyright and licensing of cvc5.
   6
   7 The developers and authors of cvc5 are:
   8
   9 Current:
  10   Haniel Barbosa, The University of Iowa, Universidade Federal de Minas Gerais
  11   Clark Barrett, New York University, Google, Stanford University
  12   Martin Brain, University of Oxford
  13   Ahmed Irfan, Stanford University
  14   Gereon Kremer, Stanford University
  15   Makai Mann, Stanford University
  16   Abdalrhman Mohamed, The University of Iowa
  17   Mudathir Mohamed, The University of Iowa
  18   Aina Niemetz, Stanford University
  19   Andres Noetzli, Stanford University
  20   Alex Ozdemir, Stanford University
  21   Mathias Preiner, Stanford University
  22   Andrew Reynolds, The University of Iowa, EPFL
  23   Ying Sheng, Stanford University
  24   Cesare Tinelli, The University of Iowa
  25   Yoni Zohar, Stanford University
  26
  27 Alumni:
  28   Kshitij Bansal, New York University, Google
  29   Francois Bobot, The University of Iowa, Commissariat a l'Energie Atomique
  30   Christopher Conway, New York University, Google
  31   Morgan Deters, New York University
  32   Liana Hadarean, New York University, Mentor Graphics Corporation
  33   Dejan Jovanovic, New York University, SRI International
  34   Guy Katz, New York University, Stanford University
  35   Tim King, New York University, Universite Joseph Fourier, Google
  36   Tianyi Liang, The University of Iowa
  37   Paul Meng, The University of Iowa
  38
  39 Other contributors to the cvc5 codebase are listed in the THANKS file.
  40
  41 cvc5 is the fifth in the CVC series of tools (CVC, CVC Lite, CVC3, CVC4) but
  42 does not directly incorporate code from any previous version prior to CVC4.
  43 Information about authors of previous CVC tools is included with their
  44 distributions.
  45
  46 cvc5 contains MiniSAT code by Niklas Een and Niklas Sorensson.
  47
  48 The cvc5 parser incorporates some code from ANTLR3, by Jim Idle, Temporal
  49 Wave LLC.