This is the command dfg2tptp 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
dfg2tptp - 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.
Use dfg2tptp online using onworks.net services