SYNOPSIS

dfg2tptp <input-file> <output-file>

DESCRIPTION

dfg2tptp is a program which converts a problem input file in \s-1DFG\s0 format into a problem input file in \s-1TPTP\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/. Various tools exist to convert problems in \s-1TPTP\s0 format into input files for other theorem provers.

RELATED TO dfg2tptp…

checkstat\|(1), filestat\|(1), pcs\|(1), pgen\|(1), rescmp\|(1), tpform\|(1), tpget\|(1), deprose\|(1), dfg2otter\|(1), \s-1SPASS\s0\|(1)

AUTHORS

Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach

Contact : [email protected]