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/ 20-Oct-2014 07:46 - [   ] cvc4-1.0-x86_64-linux-dbg 01-Dec-2012 14:54 15M [   ] cvc4-1.1-x86_64-linux-dbg 03-Apr-2013 15:28 15M [   ] cvc4-1.2-x86_64-linux-dbg 09-May-2013 17:24 16M [   ] cvc4-1.3-x86_64-linux-dbg 09-Dec-2013 10:27 19M [   ] cvc4-1.4-x86_64-linux-dbg 16-Jul-2014 03:51 21M