dfg2ascii

Langue: en

Version: 2003-04-29 (debian - 07/07/09)

Section: 1 (Commandes utilisateur)

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>