www.cs.pitt.edu/~chang/cvc/
where you can find manuals, presentations and source codes.
(2) You can download the newest version of VC from:
www.cs.pitt.edu/~chang/cvc/Download/zipfile/vc50.zip
(3) You can find the document explaining the source codes at:
www.cs.pitt.edu/~chang/231/y08ms1/ms1moh.pdf
(4) You can find the zip file and document for the
Universal Interface at:
www.cs.pitt.edu/~chang/153/UInterface/uinterface.zip
www.cs.pitt.edu/~chang/153/UInterface/UIreadme.doc