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 developers and authors of CVC4 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   Makai Mann, Stanford University
  15   Abdalrhman Mohamed, The University of Iowa
  16   Mudathir Mohamed, The University of Iowa
  17   Aina Niemetz, Stanford University
  18   Andres Noetzli, Stanford University
  19   Alex Ozdemir, Stanford University
  20   Mathias Preiner, Stanford University
  21   Andrew Reynolds, The University of Iowa, EPFL
  22   Ying Sheng, Stanford University
  23   Cesare Tinelli, The University of Iowa
  24   Yoni Zohar, Stanford University
  25
  26 Alumni:
  27   Kshitij Bansal, New York University, Google
  28   Francois Bobot, The University of Iowa, Commissariat a l'Energie Atomique
  29   Christopher Conway, New York University, Google
  30   Morgan Deters, New York University
  31   Liana Hadarean, New York University, Mentor Graphics Corporation
  32   Dejan Jovanovic, New York University, SRI International
  33   Guy Katz, New York University, Stanford University
  34   Tim King, New York University, Universite Joseph Fourier, Google
  35   Tianyi Liang, The University of Iowa
  36   Paul Meng, The University of Iowa
  37
  38 Other contributors to the CVC4 codebase are listed in the THANKS file.
  39
  40 CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does
  41 not directly incorporate code from any previous version.  Information about
  42 authors of previous CVC tools is included with their distributions.
  43
  44 CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson.
  45
  46 The CVC4 parser incorporates some code from ANTLR3, by Jim Idle, Temporal
  47 Wave LLC.