cvc4-1.3
COPYING File Reference

Go to the source code of this file.

Functions

CVC4 is copyright (C) 2009
 
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 
DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;LOSS OF USE, DATA, OR PROFITS;OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY
 
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 
TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE
 
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 Niklas
Sorensson 
Copyright (c) 2007-2010 Niklas Sorensson Permission is hereby granted
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation 
files (the"Software")
 
either version of the or (at your option) any later version.This program is distributed in the hope that it will be useful
 

Variables

CVC4 is New York University
and The University of Iowa All
rights reserved CVC4 is open 
source
 
distribution is under the
terms of the modified BSD
license 
However
 
distribution is under the
terms of the modified BSD
license certain builds of CVC4
link against GPLed 
libraries
 
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 
GLPK
 
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 
WARRANTIES
 
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 
INCLUDING
 
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 
TO
 
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 
DIRECT
 
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 
INDIRECT
 
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 
INCIDENTAL
 
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 
SPECIAL
 
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 
EXEMPLARY
 
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 
CONTRACT
 
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 
LIABILITY
 
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 > 
Thu
 
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 > 
Dec
 
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 
copyright
 
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
 
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 Niklas
Sorensson free of 
charge
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without 
restriction
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to 
use
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to 
copy
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to 
modify
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to 
merge
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to 
publish
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to 
distribute
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to 
sublicense
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to and or sell copies of the 
Software
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to and or sell copies of the
and to permit persons to whom
the Software is furnished to
do 
so
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to and or sell copies of the
and to permit persons to whom
the Software is furnished to
do subject to the following 
conditions
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to and or sell copies of the
and to permit persons to whom
the Software is furnished to
do subject to the following
WITHOUT WARRANTY OF ANY 
KIND
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to and or sell copies of the
and to permit persons to whom
the Software is furnished to
do subject to the following
WITHOUT WARRANTY OF ANY
EXPRESS OR 
IMPLIED
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to and or sell copies of the
and to permit persons to whom
the Software is furnished to
do subject to the following
WITHOUT WARRANTY OF ANY
EXPRESS OR INCLUDING BUT NOT
LIMITED TO THE WARRANTIES OF 
MERCHANTABILITY
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to and or sell copies of the
and to permit persons to whom
the Software is furnished to
do subject to the following
WITHOUT WARRANTY OF ANY
EXPRESS OR INCLUDING BUT NOT
LIMITED TO THE WARRANTIES OF
FITNESS FOR A PARTICULAR
PURPOSE AND NONINFRINGEMENT IN
NO EVENT SHALL THE AUTHORS OR
COPYRIGHT HOLDERS BE LIABLE
FOR ANY 
CLAIM
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to and or sell copies of the
and to permit persons to whom
the Software is furnished to
do subject to the following
WITHOUT WARRANTY OF ANY
EXPRESS OR INCLUDING BUT NOT
LIMITED TO THE WARRANTIES OF
FITNESS FOR A PARTICULAR
PURPOSE AND NONINFRINGEMENT IN
NO EVENT SHALL THE AUTHORS OR
COPYRIGHT HOLDERS BE LIABLE
FOR ANY DAMAGES OR OTHER
WHETHER IN AN ACTION OF TORT
OR 
OTHERWISE
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to and or sell copies of the
and to permit persons to whom
the Software is furnished to
do subject to the following
WITHOUT WARRANTY OF ANY
EXPRESS OR INCLUDING BUT NOT
LIMITED TO THE WARRANTIES OF
FITNESS FOR A PARTICULAR
PURPOSE AND NONINFRINGEMENT IN
NO EVENT SHALL THE AUTHORS OR
COPYRIGHT HOLDERS BE LIABLE
FOR ANY DAMAGES OR OTHER
WHETHER IN AN ACTION OF TORT
OR ARISING 
FROM
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to and or sell copies of the
and to permit persons to whom
the Software is furnished to
do subject to the following
WITHOUT WARRANTY OF ANY
EXPRESS OR INCLUDING BUT NOT
LIMITED TO THE WARRANTIES OF
FITNESS FOR A PARTICULAR
PURPOSE AND NONINFRINGEMENT IN
NO EVENT SHALL THE AUTHORS OR
COPYRIGHT HOLDERS BE LIABLE
FOR ANY DAMAGES OR OTHER
WHETHER IN AN ACTION OF TORT
OR ARISING OUT OF OR IN
CONNECTION WITH THE SOFTWARE
OR THE USE OR OTHER DEALINGS
IN THE SOFTWARE CVC4
incorporates the script
autogen 
sh
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to and or sell copies of the
and to permit persons to whom
the Software is furnished to
do subject to the following
WITHOUT WARRANTY OF ANY
EXPRESS OR INCLUDING BUT NOT
LIMITED TO THE WARRANTIES OF
FITNESS FOR A PARTICULAR
PURPOSE AND NONINFRINGEMENT IN
NO EVENT SHALL THE AUTHORS OR
COPYRIGHT HOLDERS BE LIABLE
FOR ANY DAMAGES OR OTHER
WHETHER IN AN ACTION OF TORT
OR ARISING OUT OF OR IN
CONNECTION WITH THE SOFTWARE
OR THE USE OR OTHER DEALINGS
IN THE SOFTWARE CVC4
incorporates the script
autogen excluded from the
above copyright See autogen sh
Its with or without 
modification
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to and or sell copies of the
and to permit persons to whom
the Software is furnished to
do subject to the following
WITHOUT WARRANTY OF ANY
EXPRESS OR INCLUDING BUT NOT
LIMITED TO THE WARRANTIES OF
FITNESS FOR A PARTICULAR
PURPOSE AND NONINFRINGEMENT IN
NO EVENT SHALL THE AUTHORS OR
COPYRIGHT HOLDERS BE LIABLE
FOR ANY DAMAGES OR OTHER
WHETHER IN AN ACTION OF TORT
OR ARISING OUT OF OR IN
CONNECTION WITH THE SOFTWARE
OR THE USE OR OTHER DEALINGS
IN THE SOFTWARE CVC4
incorporates the script
autogen excluded from the
above copyright See autogen sh
Its with or without are
permitted provided that the
following conditions are 
met
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to and or sell copies of the
and to permit persons to whom
the Software is furnished to
do subject to the following
WITHOUT WARRANTY OF ANY
EXPRESS OR INCLUDING BUT NOT
LIMITED TO THE WARRANTIES OF
FITNESS FOR A PARTICULAR
PURPOSE AND NONINFRINGEMENT IN
NO EVENT SHALL THE AUTHORS OR
COPYRIGHT HOLDERS BE LIABLE
FOR ANY DAMAGES OR OTHER
WHETHER IN AN ACTION OF TORT
OR ARISING OUT OF OR IN
CONNECTION WITH THE SOFTWARE
OR THE USE OR OTHER DEALINGS
IN THE SOFTWARE CVC4
incorporates the script
autogen excluded from the
above copyright See autogen sh
Its with or without are
permitted provided that the
following conditions are this
list of conditions and the
following disclaimer
Redistributions in binary form
must reproduce the above
copyright 
notice
 
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 Niklas
Sorensson free of to any
person obtaining a copy of
this software and associated
documentation to deal in the
Software without including
without limitation the rights
to and or sell copies of the
and to permit persons to whom
the Software is furnished to
do subject to the following
WITHOUT WARRANTY OF ANY
EXPRESS OR INCLUDING BUT NOT
LIMITED TO THE WARRANTIES OF
FITNESS FOR A PARTICULAR
PURPOSE AND NONINFRINGEMENT IN
NO EVENT SHALL THE AUTHORS OR
COPYRIGHT HOLDERS BE LIABLE
FOR ANY DAMAGES OR OTHER
WHETHER IN AN ACTION OF TORT
OR ARISING OUT OF OR IN
CONNECTION WITH THE SOFTWARE
OR THE USE OR OTHER DEALINGS
IN THE SOFTWARE CVC4
incorporates the script
autogen excluded from the
above copyright See autogen sh
Its with or without are
permitted provided that the
following conditions are this
list of conditions and the
following disclaimer
Redistributions in binary form
must reproduce the above
copyright this list of
conditions and the following
disclaimer in the
documentation and or other
materials provided with the
distribution The name of the
author may not be used to
endorse or promote products
derived from this software
without specific prior written
permission THIS SOFTWARE IS
PROVIDED BY THE AUTHOR 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 AUTHOR BE
LIABLE FOR ANY OR
CONSEQUENTIAL WHETHER IN
STRICT OR EVEN IF ADVISED OF
THE POSSIBILITY OF SUCH DAMAGE
CVC4 incorporates the script
doxygen 
am
 
you can redistribute it and or
modify it under the terms of
the GNU General Public License
as published by the Free
Software 
Foundation
 
either version of the License
 
either version of the but
WITHOUT ANY 
WARRANTY
 
without even the implied
warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR
PURPOSE See the GNU General
Public License for more
details You should have
received a copy of the GNU
General Public License along
with this 
program
 
if not
 
if write to the Free Software Inc
 
if write to the Free Software
Temple Place 
Suite
 
if write to the Free Software
Temple Place 
Boston
 
if write to the Free Software
Temple Place 
MA
 

Function Documentation

CVC4 is copyright ( )
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 Niklas Sorensson Copyright ( )
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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright this list of conditions and the following disclaimer in the documentation and or other materials provided with the distribution The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission THIS SOFTWARE IS PROVIDED BY THE AUTHOR 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 AUTHOR BE LIABLE FOR ANY OR CONSEQUENTIAL DAMAGES ( INCLUDING  ,
BUT NOT LIMITED  TO,
PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;LOSS OF  USE,
DATA  ,
OR PROFITS;OR BUSINESS  INTERRUPTION 
)
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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation files ( the"Software"  )
either version of the or ( at your  option)
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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright this list of conditions and the following disclaimer in the documentation and or other materials provided with the distribution The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission THIS SOFTWARE IS PROVIDED BY THE AUTHOR 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 AUTHOR BE LIABLE FOR ANY OR CONSEQUENTIAL WHETHER IN STRICT OR TORT ( INCLUDING NEGLIGENCE OR  OTHERWISE)

Variable Documentation

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright this list of conditions and the following disclaimer in the documentation and or other materials provided with the distribution The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission THIS SOFTWARE IS PROVIDED BY THE AUTHOR 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 AUTHOR BE LIABLE FOR ANY OR CONSEQUENTIAL WHETHER IN STRICT OR EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE CVC4 incorporates the script doxygen am

Definition at line 83 of file COPYING.

if write to the Free Software Temple Place Boston

Definition at line 105 of file COPYING.

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 Niklas Sorensson free of charge

Definition at line 30 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM

Definition at line 32 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following conditions

Definition at line 32 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright this list of conditions and the following disclaimer in the documentation and or other materials provided with the distribution The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission THIS SOFTWARE IS PROVIDED BY THE AUTHOR 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 AUTHOR BE LIABLE FOR ANY OR CONSEQUENTIAL WHETHER IN CONTRACT

Definition at line 18 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to copy

Definition at line 32 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright this list of conditions and the following disclaimer in the documentation and or other materials provided with the distribution The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission THIS SOFTWARE IS PROVIDED BY THE AUTHOR 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 AUTHOR BE LIABLE FOR ANY OR CONSEQUENTIAL WHETHER IN STRICT OR EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE CVC4 incorporates the script doxygen excluded from the above copyright See config doxygen am Its excluded from the above copyright See config pkg m4 Its copyright

Definition at line 22 of file COPYING.

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> Dec

Definition at line 22 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright this list of conditions and the following disclaimer in the documentation and or other materials provided with the distribution The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission THIS SOFTWARE IS PROVIDED BY THE AUTHOR 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 AUTHOR BE LIABLE FOR ANY DIRECT

Definition at line 5 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to distribute

Definition at line 32 of file COPYING.

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 at line 22 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright this list of conditions and the following disclaimer in the documentation and or other materials provided with the distribution The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission THIS SOFTWARE IS PROVIDED BY THE AUTHOR 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 AUTHOR BE LIABLE FOR ANY EXEMPLARY

Definition at line 5 of file COPYING.

if write to the Free Software Foundation

Definition at line 96 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING FROM

Definition at line 32 of file COPYING.

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 GLPK

Definition at line 5 of file COPYING.

distribution is under the terms of the modified BSD license However

Definition at line 5 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR IMPLIED

Definition at line 32 of file COPYING.

if write to the Free Software Inc

Definition at line 105 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright this list of conditions and the following disclaimer in the documentation and or other materials provided with the distribution The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission THIS SOFTWARE IS PROVIDED BY THE AUTHOR 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 AUTHOR BE LIABLE FOR ANY INCIDENTAL

Definition at line 5 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright this list of conditions and the following disclaimer in the documentation and or other materials provided with the distribution The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission THIS SOFTWARE IS PROVIDED BY THE AUTHOR AS IS AND ANY EXPRESS OR IMPLIED INCLUDING

Definition at line 5 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright this list of conditions and the following disclaimer in the documentation and or other materials provided with the distribution The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission THIS SOFTWARE IS PROVIDED BY THE AUTHOR 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 AUTHOR BE LIABLE FOR ANY INDIRECT

Definition at line 5 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY KIND

Definition at line 32 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright this list of conditions and the following disclaimer in the documentation and or other materials provided with the distribution The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission THIS SOFTWARE IS PROVIDED BY THE AUTHOR 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 AUTHOR BE LIABLE FOR ANY OR CONSEQUENTIAL WHETHER IN STRICT LIABILITY

Definition at line 18 of file COPYING.

distribution is under the terms of the modified BSD license certain builds of CVC4 link against GPLed libraries

Definition at line 5 of file COPYING.

either version of the License

Definition at line 96 of file COPYING.

if write to the Free Software Temple Place MA

Definition at line 105 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY

Definition at line 32 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to merge

Definition at line 32 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are met

Definition at line 32 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without modification

Definition at line 32 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to modify

Definition at line 32 of file COPYING.

without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE See the GNU General Public License for more details You should have received a copy of the GNU General Public License along with this program If not
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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright notice

Definition at line 32 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR OTHERWISE

Definition at line 32 of file COPYING.

without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE See the GNU General Public License for more details You should have received a copy of the GNU General Public License along with this program

Definition at line 105 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to publish

Definition at line 32 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without restriction

Definition at line 32 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen sh

Definition at line 32 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do so

Definition at line 32 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the Software

Definition at line 32 of file COPYING.

CVC4 is New York University and The University of Iowa All rights reserved CVC4 is open source

Definition at line 1 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright this list of conditions and the following disclaimer in the documentation and or other materials provided with the distribution The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission THIS SOFTWARE IS PROVIDED BY THE AUTHOR 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 AUTHOR BE LIABLE FOR ANY SPECIAL

Definition at line 5 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to sublicense

Definition at line 32 of file COPYING.

if write to the Free Software Temple Place Suite

Definition at line 105 of file COPYING.

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> Thu

Definition at line 22 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright this list of conditions and the following disclaimer in the documentation and or other materials provided with the distribution The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission THIS SOFTWARE IS PROVIDED BY THE AUTHOR AS IS AND ANY EXPRESS OR IMPLIED BUT NOT LIMITED TO

Definition at line 5 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to use

Definition at line 32 of file COPYING.

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 Niklas Sorensson free of to any person obtaining a copy of this software and associated documentation to deal in the Software without including without limitation the rights to and or sell copies of the and to permit persons to whom the Software is furnished to do subject to the following WITHOUT WARRANTY OF ANY EXPRESS OR INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY DAMAGES OR OTHER WHETHER IN AN ACTION OF TORT OR ARISING OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE CVC4 incorporates the script autogen excluded from the above copyright See autogen sh Its with or without are permitted provided that the following conditions are this list of conditions and the following disclaimer Redistributions in binary form must reproduce the above copyright this list of conditions and the following disclaimer in the documentation and or other materials provided with the distribution The name of the author may not be used to endorse or promote products derived from this software without specific prior written permission THIS SOFTWARE IS PROVIDED BY THE AUTHOR AS IS AND ANY EXPRESS OR IMPLIED WARRANTIES

Definition at line 5 of file COPYING.

either version of the but WITHOUT ANY WARRANTY

Definition at line 100 of file COPYING.