cvc4-1.3
AUTHORS File Reference

Go to the source code of this file.

Functions

The core authors and designers
of CVC4 New York University
Clark New York University
Francois Paris Sud University
Christopher New York
University Morgan New York
University Liana New York
University Dejan New York
University Tim New York
University Tianyi The
University of Iowa Andrew The
University of Iowa Cesare The
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
 

Variables

The core authors and designers
of CVC4 
are
 
The core authors and designers
of CVC4 New York University
Clark 
Barrett< barrett @cs.nyu.edu >
 
The core authors and designers
of CVC4 New York University
Clark New York University
Francois 
Bobot< bobot @lri.fr >
 
The core authors and designers
of CVC4 New York University
Clark New York University
Francois Paris Sud University
Christopher 
Conway< cconway @cs.nyu.edu >
 
The core authors and designers
of CVC4 New York University
Clark New York University
Francois Paris Sud University
Christopher New York
University Morgan 
Deters< mdeters @cs.nyu.edu >
 
The core authors and designers
of CVC4 New York University
Clark New York University
Francois Paris Sud University
Christopher New York
University Morgan New York
University Liana 
Hadarean< lianah @cs.nyu.edu >
 
The core authors and designers
of CVC4 New York University
Clark New York University
Francois Paris Sud University
Christopher New York
University Morgan New York
University Liana New York
University Dejan 
Jovanovic< dejan @cs.nyu.edu >
 
The core authors and designers
of CVC4 New York University
Clark New York University
Francois Paris Sud University
Christopher New York
University Morgan New York
University Liana New York
University Dejan New York
University Tim 
King< taking @cs.nyu.edu >
 
The core authors and designers
of CVC4 New York University
Clark New York University
Francois Paris Sud University
Christopher New York
University Morgan New York
University Liana New York
University Dejan New York
University Tim New York
University Tianyi 
Liang< tianyi-liang @uiowa.edu >
 
The core authors and designers
of CVC4 New York University
Clark New York University
Francois Paris Sud University
Christopher New York
University Morgan New York
University Liana New York
University Dejan New York
University Tim New York
University Tianyi The
University of Iowa Andrew 
Reynolds< andrew.j.reynolds @gmail.com >
 
The core authors and designers
of CVC4 New York University
Clark New York University
Francois Paris Sud University
Christopher New York
University Morgan New York
University Liana New York
University Dejan New York
University Tim New York
University Tianyi The
University of Iowa Andrew The
University of Iowa Cesare 
Tinelli< tinelli @cs.uiowa.edu >
 
The core authors and designers
of CVC4 New York University
Clark New York University
Francois Paris Sud University
Christopher New York
University Morgan New York
University Liana New York
University Dejan New York
University Tim New York
University Tianyi The
University of Iowa Andrew The
University of Iowa Cesare The
University of Iowa CVC4 is the
fourth in the CVC series of by
Jim 
Idle
 
The core authors and designers
of CVC4 New York University
Clark New York University
Francois Paris Sud University
Christopher New York
University Morgan New York
University Liana New York
University Dejan New York
University Tim New York
University Tianyi The
University of Iowa Andrew The
University of Iowa Cesare The
University of Iowa CVC4 is the
fourth in the CVC series of by
Jim 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 contains the
boost m4 autoconf module by
Benoit Sigoure CVC4 maintainer
versions contain the script
autogen 
sh
 

Function Documentation

The core authors and designers of CVC4 New York University Clark New York University Francois Paris Sud University Christopher New York University Morgan New York University Liana New York University Dejan New York University Tim New York University Tianyi The University of Iowa Andrew The University of Iowa Cesare The University of Iowa CVC4 is the fourth in the CVC series of tools ( CVC  ,
CVC  Lite,
CVC3   
)

Variable Documentation

The core authors and designers of CVC4 are

Definition at line 3 of file AUTHORS.

The core authors and designers of CVC4 New York University Clark Barrett< barrett @cs.nyu.edu >

Definition at line 3 of file AUTHORS.

The core authors and designers of CVC4 New York University Clark New York University Francois Bobot< bobot @lri.fr >

Definition at line 3 of file AUTHORS.

The core authors and designers of CVC4 New York University Clark New York University Francois Paris Sud University Christopher Conway< cconway @cs.nyu.edu >

Definition at line 3 of file AUTHORS.

The core authors and designers of CVC4 New York University Clark New York University Francois Paris Sud University Christopher New York University Morgan Deters< mdeters @cs.nyu.edu >

Definition at line 3 of file AUTHORS.

The core authors and designers of CVC4 New York University Clark New York University Francois Paris Sud University Christopher New York University Morgan New York University Liana Hadarean< lianah @cs.nyu.edu >

Definition at line 3 of file AUTHORS.

The core authors and designers of CVC4 New York University Clark New York University Francois Paris Sud University Christopher New York University Morgan New York University Liana New York University Dejan New York University Tim New York University Tianyi The University of Iowa Andrew The University of Iowa Cesare The University of Iowa CVC4 is the fourth in the CVC series of by Jim Idle

Definition at line 21 of file AUTHORS.

The core authors and designers of CVC4 New York University Clark New York University Francois Paris Sud University Christopher New York University Morgan New York University Liana New York University Dejan Jovanovic< dejan @cs.nyu.edu >

Definition at line 3 of file AUTHORS.

The core authors and designers of CVC4 New York University Clark New York University Francois Paris Sud University Christopher New York University Morgan New York University Liana New York University Dejan New York University Tim King< taking @cs.nyu.edu >

Definition at line 3 of file AUTHORS.

The core authors and designers of CVC4 New York University Clark New York University Francois Paris Sud University Christopher New York University Morgan New York University Liana New York University Dejan New York University Tim New York University Tianyi Liang< tianyi-liang @uiowa.edu >

Definition at line 3 of file AUTHORS.

The core authors and designers of CVC4 New York University Clark New York University Francois Paris Sud University Christopher New York University Morgan New York University Liana New York University Dejan New York University Tim New York University Tianyi The University of Iowa Andrew Reynolds< andrew.j.reynolds @gmail.com >

Definition at line 3 of file AUTHORS.

The core authors and designers of CVC4 New York University Clark New York University Francois Paris Sud University Christopher New York University Morgan New York University Liana New York University Dejan New York University Tim New York University Tianyi The University of Iowa Andrew The University of Iowa Cesare The University of Iowa CVC4 is the fourth in the CVC series of by Jim 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 contains the boost m4 autoconf module by Benoit Sigoure CVC4 maintainer versions contain the script autogen sh

Definition at line 21 of file AUTHORS.

The core authors and designers of CVC4 New York University Clark New York University Francois Paris Sud University Christopher New York University Morgan New York University Liana New York University Dejan New York University Tim New York University Tianyi The University of Iowa Andrew The University of Iowa Cesare Tinelli< tinelli @cs.uiowa.edu >

Definition at line 3 of file AUTHORS.