The CVC Lite home page has moved to http://www.cs.nyu.edu/acsys/cvcl.