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>