For instructions on compiling and installing the code, see INSTALL.
Other information and related links can be found at the CVC3 home page:
http://www.cs.nyu.edu/acsys/cvc3