Transforms dfg files into pretty printed ascii files
dfg2ascii <infile>
dfg2ascii is a program to convert a problem input file in \s-1DFG\s0 format into pretty-printed \s-1ASCII\s0 text. It prints out the axioms and the conjectures, in that order.
checkstat\|(1), filestat\|(1), pcs\|(1), pgen\|(1), rescmp\|(1), tpform\|(1), tpget\|(1), deprose\|(1), dfg2otter\|(1), \s-1SPASS\s0\|(1)
Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach.
Contact : [email protected]