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