This is the command tptp2dfg that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
tptp2dfg - transforms DFG files into TPTP files
SYNOPSIS
tptp2dfg [-include] <input-file> <output-file>
DESCRIPTION
tptp2dfg is a program which converts a problem input file in TPTP format into a problem
input file in DFG 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/.
OPTIONS
tptp2dfg supports the following command line options.
-include
This option enables the expansion of include directives in tptp files. If set all
TPTP include directives in hte input-file are replaced by the respective file content
during translation. If not set the TPTP include directives are translated into DFG
include directives. Default is off.
Use tptp2dfg online using onworks.net services
