DFG2ASCII(1) SPASS 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
perl v5.10.0 2010-02-23 DFG2ASCII(1)
