DFG2ASCII(1) SPASS DFG2ASCII(1)NAMEdfg2ascii - transforms DFG files into pretty printed ASCII filesSYNOPSISdfg2ascii <infile>DESCRIPTIONdfg2ascii 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 ALSOcheckstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), SPASS(1)AUTHORSThomas Hillenbrand, Dalibor Topic and Christoph Weidenbach. Contact : spass@mpi-inf.mpg.de perl v5.10.0 2010-02-23 DFG2ASCII(1)