DFG2ASCII(1)
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