AUTHORS

   1 The core authors and designers of CVC4 are:
   2
   3   Kshitij Bansal <kshitij@cs.nyu.edu>, New York University
   4   Clark Barrett <barrett@cs.nyu.edu>, New York University
   5   Francois Bobot <bobot@lri.fr>, Commissariat a l'Energie Atomique (CEA)
   6   Martin Brain <martin.brain@cs.ox.ac.uk>, University of Oxford
   7   Christopher Conway <cconway@cs.nyu.edu>, Google
   8   Morgan Deters <mdeters@cs.nyu.edu>, New York University
   9   Liana Hadarean <lianah@cs.nyu.edu>, New York University
  10   Dejan Jovanovic <dejan@cs.nyu.edu>, SRI International
  11   Tim King <taking@cs.nyu.edu>, New York University
  12   Tianyi Liang <tianyi-liang@uiowa.edu>, The University of Iowa
  13   Andrew Reynolds <andrew.j.reynolds@gmail.com>, EPFL
  14   Cesare Tinelli <tinelli@cs.uiowa.edu>, The University of Iowa
  15
  16 CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does
  17 not directly incorporate code from any previous version.  Information about
  18 authors of previous CVC tools is included with their distributions.
  19
  20 CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson.
  21
  22 The CVC4 parser incorporates some code from ANTLR3, by Jim Idle, Temporal
  23 Wave LLC.
  24
  25 CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki.
  26
  27 CVC4 contains the pkg.m4 autoconf module by Scott James Remnant.
  28
  29 CVC4 contains the ax_tls.m4 autoconf module by Alan Woodland and Diego Elio
  30 Petteno`.
  31
  32 CVC4 contains the boost.m4 autoconf module by Benoit Sigoure.
  33
  34 CVC4 maintainer versions contain the script autogen.sh by Christopher Sean
  35 Morrison, and copyright U.S. Army Research Laboratory.