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.