fix out-of-date version/copyright for minisats

diff --git a/COPYING b/COPYING
index 579a42ddafe07da980524c4ce523a37998798d3f..857ebf32f2e644208b3160332c8bedf8126516e9 100644 (file)
--- a/COPYING
+++ b/COPYING
@@ -26,6 +26,7 @@ CVC4 incorporates MiniSat code, excluded from the above copyright.
 See src/sat/minisat.  Its copyright:
 
   MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
+             Copyright (c) 2007-2010  Niklas Sorensson
 
   Permission is hereby granted, free of charge, to any person obtaining a
   copy of this software and associated documentation files (the

diff --git a/src/prop/README.minisat b/src/prop/README.minisat
index 128581c236e8c13f4689328833e989c77a2ae6a1..2f1d8bb4733a848d561f364fcb974edbe7b8308b 100644 (file)
--- a/src/prop/README.minisat
+++ b/src/prop/README.minisat
@@ -1,10 +1,11 @@
-This is MiniSAT 2-070721, downloaded from here:
+This is MiniSAT 2.2.0, downloaded from here:
 
   http://minisat.se/MiniSat.html
 
-on 10 November 2009.
+on 11 July 2010.
 
-The code has been modified slightly to put everything in the CVC4::MiniSat namespace.
-The build process has been modified.
+The code has been modified to put everything in the CVC4::MiniSat
+namespace.  The build process has been modified.  Other parts have
+been modified to serve CVC4's purposes.
 
--- Morgan Deters <mdeters@cs.nyu.edu>  Tue, 10 Nov 2009 07:16:14 -0500
+-- Morgan Deters <mdeters@cs.nyu.edu>  Sun, 07 Nov 2010 22:27:09 -0500