SYNOPSIS

dfg2tptp <input-file> <output-file>

DESCRIPTION

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.

AUTHORS

Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach

Contact : [email protected]