These are the nightly builds of the CVC4 theorem prover. For further information and licensing please see the official page.

Icon  Name                      Last modified      Size  
[DIR] Parent Directory - [DIR] unstable/ 26-Jul-2014 07:46 - [   ] cvc4-1.0-x86_64-linux-opt 01-Dec-2012 14:55 7.7M [   ] cvc4-1.1-x86_64-linux-opt 03-Apr-2013 15:28 8.1M [   ] cvc4-1.2-x86_64-linux-opt 09-May-2013 17:25 8.4M [   ] cvc4-1.3-x86_64-linux-opt 09-Dec-2013 10:27 10M [   ] cvc4-1.4-x86_64-linux-opt 16-Jul-2014 03:51 11M