dfg2tptp(1) transforms DFG files into TPTP files


dfg2tptp <input-file> <output-file>


dfg2tptp 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.


Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach

Contact : [email protected]