NAME

       dfg2tptp - transforms DFG files into TPTP files

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.

SEE ALSO

       checkstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1),
       dfg2otter(1), SPASS(1)

AUTHORS

       Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach

       Contact : spass@mpi-inf.mpg.de