[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

6. dfg2tptp


6.1 NAME

dfg2tptp - transforms DFG files into TPTP files.


6.2 SYNOPSIS

dfg2tptp <input-file> <output-file>


6.3 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.


6.4 AUTHORS

Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach

Contact : spass@mpi-inf.mpg.de


6.5 SEE ALSO

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


[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by Dalibor Topic on July, 16 2007 using texi2html 1.76.