Man Linux: Main Page and Category List

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 : Christoph Weidenbach <weidenb@mpi-sb.mpg.de>, Thomas
       Hillenbrand <hillen@mpi-sb.mpg.de>