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 (see the file COPYING).
6 The core designers and authors of CVC4 are:
8 Kshitij Bansal, New York University
9 Clark Barrett, New York University
10 Francois Bobot, The University of Iowa & Commissariat a l'Energie Atomique
11 Martin Brain, University of Oxford
12 Christopher Conway, New York University & Google, Inc.
13 Morgan Deters, New York University
14 Liana Hadarean, New York University & Mentor Graphics Corporation
15 Dejan Jovanovic, New York University & SRI International
16 Tim King, New York University, Universite Joseph Fourier & Google, Inc.
17 Tianyi Liang, The University of Iowa
18 Andrew Reynolds, The University of Iowa & EPFL
19 Cesare Tinelli, The University of Iowa
21 Contributors to the CVC4 codebase additionally include:
23 Peter Collingbourne, the Multicore Programming Group at Imperial College
24 London (headed by Alastair Donaldson)
25 Finn Haedicke, University of Bremen, Germany
28 CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does
29 not directly incorporate code from any previous version. Information about
30 authors of previous CVC tools is included with their distributions.
32 CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson.
34 The CVC4 parser incorporates some code from ANTLR3, by Jim Idle, Temporal
37 CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki.
39 CVC4 contains the pkg.m4 autoconf module by Scott James Remnant.
41 CVC4 contains the ax_tls.m4 autoconf module by Alan Woodland and Diego Elio
44 CVC4 contains the boost.m4 autoconf module by Benoit Sigoure.
46 CVC4 maintainer versions contain the script autogen.sh by Christopher Sean
47 Morrison, and copyright U.S. Army Research Laboratory.