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), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1),
       dfg2otter(1), SPASS(1)

AUTHORS

       Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach.

       Contact : spass@mpi-inf.mpg.de