The core authors and designers of CVC4 are: Clark Barrett , New York University Christopher Conway , New York University Morgan Deters , New York University Yeting Ge , New York University Liana Hadarean , New York University Tim King , New York University Mina Jeong , New York University Dejan Jovanovic , New York University The following individuals contributed code to CVC3 that may have been incorporated into CVC4: Clark Barrett, New York University Christopher Conway , New York University Alexander Fuchs, University of Iowa Yeting Ge, New York Univeristy George Hagen, University of Iowa Dejan Jovanovic , New York University The following individuals contributed code to CVC Lite that may have been incorporated in CVC4: 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 CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson