AUTHORS

   1 The core authors and designers of CVC4 are:
   2
   3   Clark Barrett <barrett@cs.nyu.edu>, New York University
   4   Christopher Conway <cconway@cs.nyu.edu>, New York University
   5   Morgan Deters <mdeters@cs.nyu.edu>, New York University
   6   Yeting Ge <yeting@cs.nyu.edu>, New York University
   7   Liana Hadarean <lianah@cs.nyu.edu>, New York University
   8   Tim King <taking@cs.nyu.edu>, New York University
   9   Mina Jeong <mjeong@cs.nyu.edu>, New York University
  10   Dejan Jovanovic <dejan@cs.nyu.edu>, New York University
  11
  12 The following individuals contributed code to CVC3 that may have been incorporated into CVC4:
  13
  14   Clark Barrett, New York University
  15   Christopher Conway <cconway@cs.nyu.edu>, New York University
  16   Alexander Fuchs, University of Iowa
  17   Yeting Ge, New York Univeristy
  18   George Hagen, University of Iowa
  19   Dejan Jovanovic <dejan@cs.nyu.edu>, New York University
  20
  21 The following individuals contributed code to CVC Lite that may have been incorporated in CVC4:
  22
  23   Clark Barrett, New York University
  24   Sergey Berezin, Stanford University
  25   Cristian Cadar, Stanford University
  26   Jake Donham, New York University
  27   Yeting Ge, New York Univeristy
  28   Vijay Ganesh, Stanford University
  29   Deepak Goyal, Calypto
  30   Ying Hu, New York University
  31   Sean McLaughlin, New York University
  32   Mehul Trivedi, Stanford University
  33   Michael Veksler, Technion, Israel
  34   Daniel Wichs, Stanford University
  35   Mark Zavislak, Stanford University
  36   Jim Zhuang, Stanford University
  37
  38 CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson