CVT is compiled using Ant.  It requires CVC3 with JNI and the ANTLR runtime.

The sample codes used in the paper are included in the examples directory.
That directory also includes a Makefile to run the experiments.  Results
from running the experiments on a 2.53GHz Core i5 Macbook Pro with 8 GB of
RAM are provided in examples/experimentalResults.txt.
