dfg2tptp1
Transforms dfg files into tptp files
Usage
dfg2tptp <input-file>
<output-file>
Overview
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.
Releases
7 releases since Debian 3.1 (Sarge); the text changed 1 time.