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

# dfg2ascii(1)

transforms DFG files into pretty printed ASCII files

## NAME

dfg2ascii - transforms DFG files into pretty printed ASCII files

## SYNOPSIS

**dfg2ascii** \<infile\>

## DESCRIPTION

**dfg2ascii** is a program to convert a problem input file in **DFG** format into pretty-printed ASCII text. It prints out the axioms and the conjectures, in that order.

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