SYNOPSISdfg2tptp <input-file> <output-file>
DESCRIPTIONdfg2tptp is a program which converts a problem input file in DFG format into a problem input file in TPTP format. The TPTP problem format is used by the TPTP library of test problems for automated theorem proving, available at http://www.math.miami.edu/~tptp/. Various tools exist to convert problems in TPTP format into input files for other theorem provers.
AUTHORSThomas Hillenbrand, Dalibor Topic and Christoph Weidenbach
Contact : [email protected]