From 559710702e4df3ddaac4905705cf93c08502984b Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 11 Oct 2012 17:06:16 +0000 Subject: Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's just the header comments at the top, though. Don't update to this rev if you don't have time for a complete rebuild, and exclude this rev if you want to see what's new across a range of commits. (this commit was certified error- and warning-free by the test-and-commit script.) --- COPYING | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'COPYING') diff --git a/COPYING b/COPYING index df32895e7..648b42a02 100644 --- a/COPYING +++ b/COPYING @@ -1,6 +1,5 @@ -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 copyright (C) 2009, 2010, 2011, 2012 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, certain builds of CVC4 link against GPLed libraries, -- cgit v1.2.3