debian man page for tptp2dfg

TPTP2DFG(1)							       SPASS							       TPTP2DFG(1)

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

perl v5.10.0							    2010-02-23							       TPTP2DFG(1)