[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

2. dfg2ascii


2.1 NAME

dfg2ascii - transforms DFG files into pretty printed ASCII files


2.2 SYNOPSIS

dfg2ascii <infile>


2.3 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.


2.4 AUTHORS

Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach.

Contact : spass@mpi-inf.mpg.de


2.5 SEE ALSO

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.