From 4e1be00c7dd4c02cb35f88d81dd6ba7213ef3c2a Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Wed, 4 May 2016 21:30:13 -0700 Subject: [PATCH] Update to COPYING --- COPYING | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/COPYING b/COPYING index 87fd0147f..4e3e64bce 100644 --- a/COPYING +++ b/COPYING @@ -1,5 +1,5 @@ -CVC4 is copyright (C) 2009, 2010, 2011, 2012, 2013, 2014 by its authors -and contributors (see the file AUTHORS) and their institutional +CVC4 is copyright (C) 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016 by its +authors and contributors (see the file AUTHORS) and their institutional affiliations. All rights reserved. The source code of CVC4 is open and available to students, researchers, @@ -39,7 +39,7 @@ 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 Thu, 13 Nov 2014 +---------------------------------------------------------------------- CVC4 incorporates MiniSat code, excluded from the above copyright. See src/sat/minisat. Its copyright: -- 2.30.2