The following individuals have contributed code to CVC3
------------------------------------------------------------

Clark Barrett, New York University
Alexander Fuchs, University of Iowa
Yeting Ge, New York Univeristy
George Hagen, University of Iowa


The following individuals contributed code to CVC Lite before it became CVC3
------------------------------------------------------------
Clark Barrett, New York University
Sergey Berezin, Stanford University
Cristian Cadar, Stanford University
Jake Donham, New York University
Yeting Ge, New York Univeristy
Vijay Ganesh, Stanford University
Deepak Goyal, Calypto
Ying Hu, New York University
Sean McLaughlin, New York University
Mehul Trivedi, Stanford University
Michael Veksler, Technion, Israel
Daniel Wichs, Stanford University
Mark Zavislak, Stanford University
Jim Zhuang, Stanford University
