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 : Thomas Hillenbrand <hillen@mpi-sb.mpg.de>
Christoph Weidenbach <weidenb@mpi-sb.mpg.de>