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 08:04 - [   ] cvc4-1.1-win32-dbg.exe 03-Apr-2013 15:28 14M [   ] cvc4-1.2-win32-dbg.exe 09-May-2013 21:44 16M [   ] cvc4-1.3-win32-dbg.exe 09-Dec-2013 10:29 18M [   ] cvc4-1.4-win32-dbg.exe 16-Jul-2014 03:54 21M