diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2016-05-04 21:30:13 -0700 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2016-05-04 21:30:13 -0700 |
| commit | 4e1be00c7dd4c02cb35f88d81dd6ba7213ef3c2a (patch) | |
| tree | cfa30601e6085aa53691e02d80cb36b4e469d790 /COPYING | |
| parent | f65b945119341ae8afa69bd0b7dc005c9fcc768b (diff) | |
Update to COPYING
Diffstat (limited to 'COPYING')
| -rw-r--r-- | COPYING | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 <mdeters@cs.nyu.edu> Thu, 13 Nov 2014 +---------------------------------------------------------------------- CVC4 incorporates MiniSat code, excluded from the above copyright. See src/sat/minisat. Its copyright: |