[ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
dfg2tptp - transforms DFG files into TPTP files.
dfg2tptp <input-file> <output-file>
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.
Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach
Contact : spass@mpi-inf.mpg.de
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.