Provided by: spass_3.7-4_amd64 bug

NAME

       tptp2dfg - transforms DFG files into TPTP files

SYNOPSIS

       tptp2dfg [-include] <input-file> <output-file>

DESCRIPTION

       tptp2dfg is a program which converts a problem input file in TPTP format into a problem
       input file in DFG 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/.

OPTIONS

       tptp2dfg supports the following command line options.

       -include
           This option enables the expansion of include directives in tptp files.  If set all
           TPTP include directives in hte input-file are replaced by the respective file content
           during translation. If not set the TPTP include directives are translated into DFG
           include directives.  Default is off.

SEE ALSO

       dfg2tptp(1), dfg2otter(1), SPASS(1)

AUTHORS

       Martin Suda and Christoph Weidenbach

       Contact : spass@mpi-inf.mpg.de