This is a prerelease version of CVC4; distribution is restricted.

-- Morgan Deters <mdeters@cs.nyu.edu>  Mon, 02 Nov 2009 17:54:27 -0500