[ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
dfg2ascii - transforms DFG files into pretty printed ASCII files
dfg2ascii <infile>
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.
Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach.
Contact : spass@mpi-inf.mpg.de
checkstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), SPASS(1)
[ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
This document was generated by Dalibor Topic on July, 16 2007 using texi2html 1.76.