CVC Lite is no longer being maintained.  Please visit the <a href="http://www.cs.nyu.edu/acsys/cvc3">CVC3</a> web site for the current version of CVC.