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/ 31-Oct-2014 07:52 - [   ] cvc4-1.1-win32-opt.exe 03-Apr-2013 15:28 8.9M [   ] cvc4-1.2-win32-opt.exe 09-May-2013 21:35 9.4M [   ] cvc4-1.3-win32-opt.exe 09-Dec-2013 10:29 11M [   ] cvc4-1.4-win32-opt.exe 16-Jul-2014 03:53 14M