EnglishFrenchSpanish

OnWorks favicon

dfg2tptp - Online in the Cloud

Run dfg2tptp in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

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


Free Servers & Workstations

Download Windows & Linux apps

Linux commands

Ad