cvc4-1.3
|
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 |
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 | |||
) |
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 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 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 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 |
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 > |