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.tar.gz 01-Dec-2012 14:19 5.5M [TXT] cvc4-1.0.tar.gz.asc 01-Dec-2012 14:19 198 [   ] cvc4-1.1.tar.gz 03-Apr-2013 14:51 5.7M [TXT] cvc4-1.1.tar.gz.asc 03-Apr-2013 14:51 198 [   ] cvc4-1.2.tar.gz 09-May-2013 09:10 5.8M [TXT] cvc4-1.2.tar.gz.asc 09-May-2013 09:10 198 [   ] cvc4-1.3.tar.gz 07-Dec-2013 14:10 5.9M [TXT] cvc4-1.3.tar.gz.asc 07-Dec-2013 14:11 198