System Requirements

Hardware:

zdatrinf and zdatrtok were developed and tested under SOLARIS 2.4, 2.5, and LinuX 1.3.56. Recommended is at least a SPARC Classic with 16 MB main memory (the required amount of memory depends on the size of theories) or a Pentium PC with 16 MB memory.

Software:

The program is written in ANSI-C and compiles with the GNU-C Compiler Version 2.7.0 (or higher). GNU-make is required in order to compile the programs.