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/ 27-Aug-2016 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 [   ] cvc4-1.4.tar.gz 13-Jul-2014 13:49 6.6M [TXT] cvc4-1.4.tar.gz.asc 13-Jul-2014 13:56 198 [   ] cvc4-1.5pre-smtcomp2016.tar.gz 30-May-2016 19:37 7.1M [TXT] cvc4-1.5pre-smtcomp2016.tar.gz.asc 30-May-2016 19:49 490