dfg2otter.pl1
Transforms dfg clause files into otter format including otter options
Usage
dfg2otter.pl [options]
[infile]
[outfile]
Overview
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.
Releases
7 releases since Debian 3.1 (Sarge); the text changed 1 time.
-t since Debian 6.0 (Squeeze).