CVC4 Copyright - Revision history

Mdeters at 15:04, 9 December 2013

2013-12-09T15:04:05Z

Mdeters at 15:03, 9 December 2013

2013-12-09T15:03:26Z

Mdeters at 15:03, 9 December 2013

2013-12-09T15:03:11Z

Mdeters at 21:34, 3 December 2012

2012-12-03T21:34:22Z

Mdeters at 21:34, 3 December 2012

2012-12-03T21:34:08Z

Mdeters at 16:25, 6 November 2012

2012-11-06T16:25:11Z

Mdeters at 13:01, 11 October 2012

2012-10-11T13:01:11Z

Mdeters at 12:53, 11 October 2012

2012-10-11T12:53:39Z

Mdeters at 12:38, 11 October 2012

2012-10-11T12:38:35Z

Show changes

Mdeters: Created page with "The copyright and (lack of) warranty information most relevant to you is in the file ''COPYING'' that you got with your CVC4 source code, or received with any binary packaging of…"

2012-10-11T12:38:09Z

Created page with "The copyright and (lack of) warranty information most relevant to you is in the file ''COPYING'' that you got with your CVC4 source code, or received with any binary packaging of…"

New page

The copyright and (lack of) warranty information most relevant to you is in the file ''COPYING'' that you got with your CVC4 source code, or received with any binary packaging of CVC4. The 1.0 release is covered by the following copyright:

CVC4 is copyright (C) 2009, 2010, 2011, 2012 the ACSys research group at
the Courant Institute for Mathematical Sciences, New York University.
All rights reserved.

CVC4 is open-source; distribution is under the terms of the modified BSD
license. However, certain builds of CVC4 link against GPLed libraries,
and therefore the use of these builds is restricted in non-open-source
projects. See below for a discussion of CLN 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, INCLUDING, BUT NOT
LIMITED TO, 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, INDIRECT, INCIDENTAL,
SPECIAL, EXEMPLARY, 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, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

-- Morgan Deters <mdeters@cs.nyu.edu> Fri, 04 Feb 2011 14:56:41 -0500

CVC4 incorporates MiniSat code, excluded from the above copyright.
See src/sat/minisat. Its copyright:

MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson

← Older revision		Revision as of 15:04, 9 December 2013
Line 247:		Line 247:
	default). It can then be used in contexts where you want to license CVC4		default). It can then be used in contexts where you want to license CVC4
	under the (modified) BSD license.		under the (modified) BSD license.
		+
		+	Certain builds of CVC4 link against a GPLed library, GLPK, the GNU Linear
		+	Programming Kit, available here:
		+
		+	http://www.gnu.org/software/glpk/
		+
		+	Please be advised that as this library is covered under the GPLv3, if
		+	you choose to use the combined work, "CVC4+GLPK," by building CVC4 with
		+	GLPK, then it is also covered under the GPLv3. If you want to make sure
		+	you build a version of CVC4 that does not use GLPK, configure CVC4 with
		+	"--without-glpk" before building (though that is the default). It can
		+	then be used in contexts where you want to license CVC4 under the
		+	(modified) BSD license.

← Older revision		Revision as of 15:03, 9 December 2013
Line 1:		Line 1:
−	The copyright and (lack of) warranty information most relevant to you is in the file ''COPYING'' that you got with your CVC4 source code, or received with any binary packaging of CVC4. The 1.0 release is covered by the following copyright and disclaimers:	+	The copyright and (lack of) warranty information most relevant to you is in the file ''COPYING'' that you got with your CVC4 source code, or received with any binary packaging of CVC4. The 1.3 release is covered by the following copyright and disclaimers:

	CVC4 is copyright (C) 2009, 2010, 2011, 2012, 2013 New York University		CVC4 is copyright (C) 2009, 2010, 2011, 2012, 2013 New York University

@@ Line 1: / Line 1: @@
 The copyright and (lack of) warranty information most relevant to you is in the file ''COPYING'' that you got with your CVC4 source code, or received with any binary packaging of CVC4.  The 1.0 release is covered by the following copyright and disclaimers:
-  CVC4 is copyright (C) 2009, 2010, 2011, 2012 New York University and
+  CVC4 is copyright (C) 2009, 2010, 2011, 2012, 2013 New York University
-  The University of Iowa.  All rights reserved.
+  and The University of Iowa.  All rights reserved.
   CVC4 is open-source; distribution is under the terms of the modified BSD
@@ Line 22: / Line 22: @@
   OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-  -- Morgan Deters <mdeters@cs.nyu.edu>  Fri, 04 Feb 2011 14:56:41 -0500
+  -- Morgan Deters <mdeters@cs.nyu.edu>  Thu, 05 Dec 2013 14:22:26 -0500
   CVC4 incorporates MiniSat code, excluded from the above copyright.

@@ Line 1: / Line 1: @@
 The copyright and (lack of) warranty information most relevant to you is in the file ''COPYING'' that you got with your CVC4 source code, or received with any binary packaging of CVC4.  The 1.0 release is covered by the following copyright and disclaimers:
-CVC4 is copyright (C) 2009, 2010, 2011, 2012 New York University and
+ CVC4 is copyright (C) 2009, 2010, 2011, 2012 New York University and
-The University of Iowa.  All rights reserved.
+ The University of Iowa.  All rights reserved.
-−
   CVC4 is open-source; distribution is under the terms of the modified BSD
   license.  However, certain builds of CVC4 link against GPLed libraries,

← Older revision		Revision as of 16:25, 6 November 2012
Line 1:		Line 1:
−	The copyright and (lack of) warranty information most relevant to you is in the file ''COPYING'' that you got with your CVC4 source code, or received with any binary packaging of CVC4. The 1.0 release is covered by the following copyright:	+	The copyright and (lack of) warranty information most relevant to you is in the file ''COPYING'' that you got with your CVC4 source code, or received with any binary packaging of CVC4. The 1.0 release is covered by the following copyright and disclaimers:

	CVC4 is copyright (C) 2009, 2010, 2011, 2012 the ACSys research group at		CVC4 is copyright (C) 2009, 2010, 2011, 2012 the ACSys research group at

@@ Line 243: / Line 243: @@
   Please be advised that as this class library is covered under the GPLv3, if
   you choose to use the combined work, "CVC4+CLN," by building CVC4 with CLN,
-  then it is also covered under the GPLv3.  If you want to build a version of
+  then it is also covered under the GPLv3.  If you want to make sure you build
- CVC4 that uses libgmp, the GNU Multiple Precision Arithmetic Library,
+ a version of CVC4 that uses libgmp, the GNU Multiple Precision Arithmetic
-  configure CVC4 with "--without-cln" before building.  It can then be used in
+  Library, configure CVC4 with "--with-gmp" before building (though that is the
- contexts where you want to license CVC4 under the (modified) BSD license.
+ default).  It can then be used in contexts where you want to license CVC4

@@ Line 241: / Line 241: @@
     http://www.ginac.de/CLN/
-  Please be advised that as this class library is covered under the GPL, the
+  Please be advised that as this class library is covered under the GPLv3, if
-  combined work, CVC4+CLN, is also covered under the GPL and cannot be used
+  you choose to use the combined work, "CVC4+CLN," by building CVC4 with CLN,
- by proprietary software projects.  For the full text of the GPL, please
+ then it is also covered under the GPLv3.  If you want to build a version of
- consult the CLN website.  CVC4 does not require CLN; it can be built against
+  CVC4 that uses libgmp, the GNU Multiple Precision Arithmetic Library,
- libgmp, the GNU Multiple Precision Arithmetic Library, which is covered by
+  configure CVC4 with "--without-cln" before building.  It can then be used in
- the more permissive LGPL.  To ensure that CLN is not used in the build,
+ contexts where you want to license CVC4 under the (modified) BSD license.
   configure CVC4 with "--without-cln".