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/ 23-Apr-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