1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
The core authors and designers of CVC4 are:
Clark Barrett <barrett@cs.nyu.edu>, New York University
Christopher Conway <cconway@cs.nyu.edu>, New York University
Morgan Deters <mdeters@cs.nyu.edu>, New York University
Yeting Ge <yeting@cs.nyu.edu>, New York University
Liana Hadarean <lianah@cs.nyu.edu>, New York University
Tim King <taking@cs.nyu.edu>, New York University
Mina Jeong <mjeong@cs.nyu.edu>, New York University
Dejan Jovanovic <dejan@cs.nyu.edu>, New York University
Cesare Tinelli <tinelli@cs.uiowa.edu>, University of Iowa
CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does
not directly incorporate code from any previous version. Information about
authors of previous CVC tools is included with their distributions.
CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson
The CVC4 parser incorporates some code from ANTLR3, by Jim Idle,
Temporal Wave LLC.
CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki.
CVC4 contains the pkg.m4 autoconf module by Scott James Remnant.
CVC4 contains the ax_tls.m4 autoconf module by Alan Woodland and
Diego Elio Petteno.
CVC4 maintainer versions contain the script autogen.sh, by the
U.S. Army Research Laboratory
|