COPYING

   1 CVC4 is copyright (C) 2009, 2010 the ACSys research group at the Courant
   2 Institute for Mathematical Sciences, New York University.
   3 All rights reserved.
   4
   5 This is a prerelease version; distribution is restricted.
   6
   7 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT OWNERS AND CONTRIBUTORS
   8 ''AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
   9 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  10 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  11 OWNERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  12 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  13 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  14 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  15 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  16 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  17 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  18
  19 -- Morgan Deters <mdeters@cs.nyu.edu>  Thu, 04 Mar 2010 20:46:40 -0500
  20
  21 CVC4 incorporates MiniSat code, excluded from the above copyright.
  22 See src/sat/minisat.  Its copyright:
  23
  24   MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
  25
  26   Permission is hereby granted, free of charge, to any person obtaining a
  27   copy of this software and associated documentation files (the
  28   "Software"), to deal in the Software without restriction, including
  29   without limitation the rights to use, copy, modify, merge, publish,
  30   distribute, sublicense, and/or sell copies of the Software, and to
  31   permit persons to whom the Software is furnished to do so, subject to
  32   the following conditions:
  33
  34   The above copyright notice and this permission notice shall be included
  35   in all copies or substantial portions of the Software.
  36
  37   THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
  38   OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  39   MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  40   NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
  41   LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
  42   OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
  43   WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  44
  45 CVC4 incorporates the script "autogen.sh", excluded from the above copyright.
  46 See autogen.sh.  Its copyright:
  47
  48   Copyright (c) 2005-2009 United States Government as represented by
  49   the U.S. Army Research Laboratory.
  50
  51   Redistribution and use in source and binary forms, with or without
  52   modification, are permitted provided that the following conditions
  53   are met:
  54
  55   1. Redistributions of source code must retain the above copyright
  56   notice, this list of conditions and the following disclaimer.
  57
  58   2. Redistributions in binary form must reproduce the above
  59   copyright notice, this list of conditions and the following
  60   disclaimer in the documentation and/or other materials provided
  61   with the distribution.
  62
  63   3. The name of the author may not be used to endorse or promote
  64   products derived from this software without specific prior written
  65   permission.
  66
  67   THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS
  68   OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
  69   WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  70   ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
  71   DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  72   DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
  73   GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
  74   INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
  75   WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
  76   NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
  77   SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  78
  79 CVC4 incorporates the script "doxygen.am", excluded from the above copyright.
  80 See config/doxygen.am.  Its copyright:
  81
  82   Copyright (C) 2004 Oren Ben-Kiki
  83   This file is distributed under the same terms as the Automake macro files.
  84
  85 CVC4 incorporates code from ANTLR3, excluded from the above copyright.
  86 See http://www.antlr.org/, and the files
  87 src/parser/bounded_token_buffer.h and
  88 src/parser/bounded_token_buffer.cpp.  Their copyright:
  89
  90   [The "BSD licence"]
  91   Copyright (c) 2005-2009 Jim Idle, Temporal Wave LLC
  92   http://www.temporal-wave.com
  93   http://www.linkedin.com/in/jimidle
  94
  95   All rights reserved.
  96
  97   Redistribution and use in source and binary forms, with or without
  98   modification, are permitted provided that the following conditions
  99   are met:
 100   1. Redistributions of source code must retain the above copyright
 101      notice, this list of conditions and the following disclaimer.
 102   2. Redistributions in binary form must reproduce the above copyright
 103      notice, this list of conditions and the following disclaimer in the
 104      documentation and/or other materials provided with the distribution.
 105   3. The name of the author may not be used to endorse or promote products
 106      derived from this software without specific prior written permission.
 107
 108   THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 109   IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 110   OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 111   IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 112   INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 113   NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 114   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 115   THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 116   (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 117   THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.