---
name: "dfg2tptp"
section: "1"
platform: "linux"
package: "spass"
version: "3.7-4"
release: "Debian 9 (Stretch)"
platforms: ["linux"]
url: "https://new.carta.tech/dfg2tptp"
---

# dfg2tptp(1)

transforms DFG files into TPTP files

## 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.

## SEE ALSO

*checkstat*(1), *filestat*(1), [*pcs*(1)](/pcs/1.md), [*pgen*(1)](/pgen/1.md), *rescmp*(1), *tpform*(1), *tpget*(1), *deprose*(1), [*dfg2otter*(1)](/dfg2otter/1.md), [*SPASS*(1)](/SPASS/1.md)

## AUTHORS

Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach

Contact : spass@mpi-inf.mpg.de