Transforms dfg files into tptp files
tptp2dfg [-include] <input-file> <output-file>
tptp2dfg is a program which converts a problem input file in \s-1TPTP\s0 format into a problem input file in \s-1DFG\s0 format. The \s-1TPTP\s0 problem format is used by the \s-1TPTP\s0 library of test problems for automated theorem proving, available at http://www.math.miami.edu/~tptp/.
tptp2dfg supports the following command line options.
This option enables the expansion of include directives in tptp files. If set all \s-1TPTP\s0 include directives in hte input-file are replaced by the respective file content during translation. If not set the \s-1TPTP\s0 include directives are translated into \s-1DFG\s0 include directives. Default is off.
dfg2tptp\|(1), dfg2otter\|(1), \s-1SPASS\s0\|(1)
Martin Suda and Christoph Weidenbach
Contact : [email protected]