diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-01-02 14:13:17 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-01-02 14:13:17 -0500 |
| commit | 9846e1db91243c3b507300dad318e81e28f9d4f4 (patch) | |
| tree | 2b303413a79d0b809ae62b85e96480f120894c36 /COPYING | |
| parent | 56e7d8664950b77c368631f1d2122ce508dc5d7c (diff) | |
| parent | 1e1ba9ff90b760ff7a029b479c659baca16b5a1e (diff) | |
Merge branch '1.3.x'
Diffstat (limited to 'COPYING')
| -rw-r--r-- | COPYING | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,4 +1,4 @@ -CVC4 is copyright (C) 2009, 2010, 2011, 2012, 2013 New York University +CVC4 is copyright (C) 2009, 2010, 2011, 2012, 2013, 2014 New York University and The University of Iowa. All rights reserved. The source code of CVC4 is open and available to students, researchers, @@ -23,7 +23,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 <mdeters@cs.nyu.edu> Tue, 17 Dec 2013 14:35:55 -0500 +-- Morgan Deters <mdeters@cs.nyu.edu> Thu, 02 Jan 2014 14:02:28 -0500 CVC4 incorporates MiniSat code, excluded from the above copyright. See src/sat/minisat. Its copyright: |