tptp2x-v-6.4.0
- Introduction ------------ The tptp2X utility is a multi-functional utility for reformating, transforming, and generating TPTP problem files. In particular, it + Converts from the TPTP format to formats used by existing ATP systems. + Applies various transformations to the clauses of TPTP problems. + Controls the generation of TPTP problem files from TPTP generator files.