Updated AUTHORS file

diff --git a/AUTHORS b/AUTHORS
index 3e85b13c76a610656116483db17d48d85d099c74..dc53ff645e4f60fd5a9fffa3b56b97346f2d8904 100644 (file)
--- 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: