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