diff options
Diffstat (limited to 'COPYING')
-rw-r--r-- | COPYING | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ -CVC4 is copyright (C) 2009, 2010, 2011 the ACSys research group at the -Courant Institute for Mathematical Sciences, New York University. +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 |