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