This is the command dfg2otter.pl 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
PROGRAM:
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.
Use dfg2otter.pl online using onworks.net services
