cvc4-1.3
AUTHORS
Go to the documentation of this file.
1 The core authors and designers of CVC4 are:
2 
3  Kshitij Bansal <kshitij@cs.nyu.edu>, New York University
4  Clark Barrett <barrett@cs.nyu.edu>, New York University
5  Francois Bobot <bobot@lri.fr>, Paris-Sud University
6  Christopher Conway <cconway@cs.nyu.edu>, New York University
7  Morgan Deters <mdeters@cs.nyu.edu>, New York University
8  Liana Hadarean <lianah@cs.nyu.edu>, New York University
9  Dejan Jovanovic <dejan@cs.nyu.edu>, New York University
10  Tim King <taking@cs.nyu.edu>, New York University
11  Tianyi Liang <tianyi-liang@uiowa.edu>, The University of Iowa
12  Andrew Reynolds <andrew.j.reynolds@gmail.com>, The University of Iowa
13  Cesare Tinelli <tinelli@cs.uiowa.edu>, The University of Iowa
14 
15 CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does
16 not directly incorporate code from any previous version. Information about
17 authors of previous CVC tools is included with their distributions.
18 
19 CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson
20 
21 The CVC4 parser incorporates some code from ANTLR3, by Jim Idle,
22 Temporal Wave LLC.
23 
24 CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki.
25 
26 CVC4 contains the pkg.m4 autoconf module by Scott James Remnant.
27 
28 CVC4 contains the ax_tls.m4 autoconf module by Alan Woodland and
29 Diego Elio Petteno.
30 
31 CVC4 contains the boost.m4 autoconf module by Benoit Sigoure.
32 
33 CVC4 maintainer versions contain the script autogen.sh, by the
34 U.S. Army Research Laboratory
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: AUTHORS:21
struct CVC4::options::in__option_t in
The core authors and designers of CVC4 are
Definition: AUTHORS:3
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: AUTHORS:21
if not
Definition: COPYING:105
This is CVC4 release version For build and installation please see the INSTALL file included with this distribution This first official release of CVC4 is the result of more than three years of efforts by researchers at New York University and The University of Iowa The project leaders are Clark please refer to the AUTHORS file in the source distribution CVC4 is a tool for determining the satisfiability of a first order formula modulo a first order CVC CVC3 but does not directly incorporate code from any previous version CVC4 is intended to be an open and extensible SMT engine It can be used as a stand alone tool or as a library It has been designed to increase the performance and reduce the memory overhead of its predecessors It is written entirely in C and is released under a free software see the INSTALL file that comes with this distribution We recommend that you visit our CVC4 tutorials online please write to the cvc users cs nyu edu mailing list *if you need to report a bug with CVC4
Definition: README:39
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
distribution is under the terms of the modified BSD license certain builds of CVC4 link against GPLed and therefore the use of these builds is restricted in non open source projects See below for a discussion of CLN and and how to ensure you have a build that doesn t link against GPLed libraries THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT OWNERS AND CONTRIBUTORS AS IS AND ANY EXPRESS OR IMPLIED BUT NOT LIMITED THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED IN NO EVENT SHALL THE COPYRIGHT OWNERS OR CONTRIBUTORS BE LIABLE FOR ANY OR CONSEQUENTIAL WHETHER IN STRICT OR EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE Morgan Deters< mdeters @cs.nyu.edu > excluded from the above copyright See src sat minisat Its Niklas Een
Definition: COPYING:22
This is CVC4 release version For build and installation please see the INSTALL file included with this distribution This first official release of CVC4 is the result of more than three years of efforts by researchers at New York University and The University of Iowa The project leaders are Clark please refer to the AUTHORS file in the source distribution CVC4 is a tool for determining the satisfiability of a first order formula modulo a first order CVC Lite
Definition: README:14
struct CVC4::options::version__option_t version
This is CVC4 release version For build and installation please see the INSTALL file included with this distribution This first official release of CVC4 is the result of more than three years of efforts by researchers at New York University and The University of Iowa The project leaders are Clark Barrett(New York University) and Cesare Tinelli(The University of Iowa).For a full list of authors