dfg2otter1
Transforms dfg clause files into otter format
Usage
dfg2otter [options]
<infile>
<outfile>
Overview
dfg2otter is a C-program to transform problem input files in DFG syntax into Otter syntax. It accepts all options from SPASS, although only a subset has an effect on translation.
dfg2otter negates conjecture formulae of the SPASS input file before printing the Otter usable list. The SPASS conjecture formula list is translated into a disjunction of the negated single conjectures. If the SPASS input file consits of clauses, these are not modified.
Releases
7 releases since Debian 3.1 (Sarge); the text changed 1 time.