man dfg2tptp (Commandes) - transforms DFG files into TPTP files

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

AUTHORS

Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach

Contact : Christoph Weidenbach <weidenb@mpi-sb.mpg.de>, Thomas Hillenbrand <hillen@mpi-sb.mpg.de>