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.

AUTHORS

Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach.

Contact : [email protected]