From: Clark Barrett Date: Fri, 20 May 2016 12:58:06 +0000 (-0700) Subject: Updated AUTHORS file X-Git-Tag: cvc5-1.0.0~6049^2~42 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8b57c18d24caced0744d8624b3e0208aeba923ef;p=cvc5.git Updated AUTHORS file --- diff --git a/AUTHORS b/AUTHORS index 3e85b13c7..dc53ff645 100644 --- a/AUTHORS +++ b/AUTHORS @@ -1,21 +1,22 @@ The authors, designers, and main contributors to CVC4 are listed below. CVC4's copyright is held by these individuals and the affiliated -institutions at the time of their contributions (see the file COPYING). -All rights reserved. +institutions at the time of their contributions (note that some authors have +had more than one affiliated institution). See the file COPYING for details on +the copyright and licensing of CVC4. The core designers and authors of CVC4 are: - Kshitij Bansal, New York University - Clark Barrett, New York University - Francois Bobot, The University of Iowa & Commissariat a l'Energie Atomique + Kshitij Bansal, New York University, Google, Inc. + Clark Barrett, New York University, Google, Inc. + Francois Bobot, The University of Iowa, Commissariat a l'Energie Atomique Martin Brain, University of Oxford - Christopher Conway, New York University & Google, Inc. + Christopher Conway, New York University, Google, Inc. Morgan Deters, New York University - Liana Hadarean, New York University & Mentor Graphics Corporation - Dejan Jovanovic, New York University & SRI International - Tim King, New York University, Universite Joseph Fourier & Google, Inc. + Liana Hadarean, New York University, Mentor Graphics Corporation + Dejan Jovanovic, New York University, SRI International + Tim King, New York University, Universite Joseph Fourier, Google, Inc. Tianyi Liang, The University of Iowa - Andrew Reynolds, The University of Iowa & EPFL + Andrew Reynolds, The University of Iowa, EPFL Cesare Tinelli, The University of Iowa Contributors to the CVC4 codebase additionally include: