SYNOPSIS
dfg2otter [options] <infile> <outfile>DESCRIPTION
dfg2otter is a C-program to transform problem input files in syntax into Otter syntax. It accepts all options from , although only a subset has an effect on translation.dfg2otter negates conjecture formulae of the input file before printing the Otter usable list. The conjecture formula list is translated into a disjunction of the negated single conjectures. If the input file consits of clauses, these are not modified.
AUTHORS
Thomas Hillenbrand, Dalibor Topic and Christoph WeidenbachContact : [email protected]