dfg2ascii(1) debian man page | unix.com

DFG2ASCII(1)							       SPASS							      DFG2ASCII(1)

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 : spass@mpi-inf.mpg.de

perl v5.10.0							    2010-02-23							      DFG2ASCII(1)