CARINE is written in ANSI-C for portability and speed. It has been tested under several operating systems and processors and it appears to be stable and consistent in its performance. It now runs under Microsoft Windows, Linux, SunOS, FreeBSD and Cygwin. The program is about 10,000 lines of code spread over 25 modules and header files.

   CARINE does not generate any temporary files during the search and all output is directed to the standard output (which is usually the screen). No input file other than the theorem file is needed. The input file should be provided in a specific format. All settings of the control parameters should be provided at the command line.