NAME¶
dfg2tptp - 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 : spass@mpi-inf.mpg.de