Man Linux: Main Page and Category List


       dfg2otter - transforms DFG clause files into Otter format including
       Otter options

SYNOPSIS [options] [infile] [outfile]

DESCRIPTION is a Perl wrapper for the dfg2otter. Mainly, it adds a set
       of OTTER parameters to the transformation result of dfg2otter.
       Additionally, input/output redirection is simpler: If no file arguments
       are given, reads from stdin and writes to stdout. If one
       file argument is given, read from that file, and if a
       second argument is present, writes to it.


       "-t n "
           Sets the time limit for the OTTER proof attempt to n seconds.


       checkstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1),
       tpget(1), deprose(1), dfg2otter(1), SPASS(1)


       Thorsten Engel and Christian Theobalt.

       Contact : Thomas Hillenbrand <>
                 Christoph Weidenbach <>