This distribution of CVC3 2.4.1 contains the official optimized
statically linked executables available at
http://www.cs.nyu.edu/acsys/cvc3/download.html for Linux and Windows.

The Mac OS X executables were built on a 10.5 machine according to the
official "INSTALL" file. The "configure" script was invoked with
"--with-arith=native".

Enjoy!


   Jasmin Blanchette
   17 May 2012

Based on earlier notes by

   Sascha Böhme
   5 January 2011
