AUTHORS

   1 The authors, designers, and main contributors to CVC4 are listed below.
   2 CVC4'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 CVC4.
   6
   7 The core designers and authors of CVC4 are:
   8
   9   Kshitij Bansal, New York University, Google
  10   Haniel Barbosa, The University of Iowa
  11   Clark Barrett, New York University, Google, Stanford University
  12   Francois Bobot, The University of Iowa, Commissariat a l'Energie Atomique
  13   Martin Brain, University of Oxford
  14   Christopher Conway, New York University, Google
  15   Morgan Deters, New York University
  16   Liana Hadarean, New York University, Mentor Graphics Corporation
  17   Dejan Jovanovic, New York University, SRI International
  18   Guy Katz, New York University, Stanford University
  19   Tim King, New York University, Universite Joseph Fourier, Google
  20   Tianyi Liang, The University of Iowa
  21   Paul Meng, The University of Iowa
  22   Aina Niemetz, Stanford University
  23   Andres Noetzli, Stanford University
  24   Mathias Preiner, Stanford University
  25   Andrew Reynolds, The University of Iowa, EPFL
  26   Cesare Tinelli, The University of Iowa
  27
  28 Other contributors to the CVC4 codebase are listed in the THANKS file.
  29
  30 CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does
  31 not directly incorporate code from any previous version.  Information about
  32 authors of previous CVC tools is included with their distributions.
  33
  34 CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson.
  35
  36 The CVC4 parser incorporates some code from ANTLR3, by Jim Idle, Temporal
  37 Wave LLC.
  38
  39 CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki.
  40
  41 CVC4 contains the pkg.m4 autoconf module by Scott James Remnant.
  42
  43 CVC4 contains the ax_tls.m4 autoconf module by Alan Woodland and Diego Elio
  44 Petteno`.
  45
  46 CVC4 contains the boost.m4 autoconf module by Benoit Sigoure.
  47
  48 CVC4 maintainer versions contain the script autogen.sh by Christopher Sean
  49 Morrison, and copyright U.S. Army Research Laboratory.