This is the command dfg2otter that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
dfg2otter - transforms DFG clause files into Otter format
dfg2otter [options] <infile> <outfile>
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
Use dfg2otter online using onworks.net services