Provided by: spass_3.7-3_amd64 bug

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


SYNOPSIS
       dfg2otter.pl [options] [infile] [outfile]


DESCRIPTION
       dfg2otter.pl 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, dfg2otter.pl reads from stdin and
       writes to stdout. If one file argument is given, dfg2otter.pl read from that file, and if
       a second argument is present, dfg2otter.pl writes to it.


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


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


AUTHORS
       Thorsten Engel and Christian Theobalt.

       Contact : spass@mpi-inf.mpg.de