Man Linux: Main Page and Category List

NAME

       dfg2ascii - 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 : Christoph Weidenbach <weidenb@mpi-sb.mpg.de>, Thomas
       Hillenbrand <hillen@mpi-sb.mpg.de>