People
From CVC4
Project Leaders
Clark Barrett, New York University
Cesare Tinelli, University of Iowa
Development Team
Kshitij Bansal, New York University François Bobot, University of Iowa Christopher Conway <cconway@cs.nyu.edu>, New York University Morgan Deters <mdeters@cs.nyu.edu>, New York University Liana Hadarean <lianah@cs.nyu.edu>, New York University Tim King <taking@cs.nyu.edu>, New York University Dejan Jovanović, New York University Andrew Reynolds, University of Iowa