Download the file package that is compatible with your system. Each of the files below contains the executable carine for the corresponding operating system along with a readme file that explains how to install and run CARINE as well as few sample theorems in CARINE format to test the system. Also included is the java application tptp2carine that will convert files in TPTP format to CARINE format.

Operating System

File Package (size)

Microsoft Windows (9x/Me/NT/2000/XP)

carine_072_win.zip (~97KB)

SunOS 5.8 (SPARC)

carine_072_sun.tar.gz (~61KB)

FreeBSD

carine_072_bsd.tar.gz (~50KB)

Linux (PC - Pentium)

carine_072_lin.tar.gz (~53KB)

Cygwin

carine_072_cyg.tar (~140KB)

   To convert a problem from the TPTP set to CARINE format you can use the TPTP2X utility or the tptp2carine java application (included in any of the above file packages).

   Note for those who will try CARINE on different platforms:

   You will notice that the Microsoft Windows version of CARINE is less performable than the others. The reason is in the way the compilation is done. We tried to make the Windows version compatible with most Pentium class computers. An optimized version for Pentium III and Pentium 4 will be available soon.

    

   Source codes and more documentation will be available sometime after April 30, 2005.