dfg2tptp(1)
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.
AUTHORS
Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach
Contact : [email protected]