SYNOPSIS

dfg2ascii <infile>

DESCRIPTION

dfg2ascii is a program to convert a problem input file in \s-1DFG\s0 format into pretty-printed \s-1ASCII\s0 text. It prints out the axioms and the conjectures, in that order.

RELATED TO dfg2ascii…

checkstat\|(1), filestat\|(1), pcs\|(1), pgen\|(1), rescmp\|(1), tpform\|(1), tpget\|(1), deprose\|(1), dfg2otter\|(1), \s-1SPASS\s0\|(1)

AUTHORS

Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach.

Contact : [email protected]