SYNOPSIS

dfg2otter.pl [options] [infile] [outfile]

DESCRIPTION

dfg2otter.pl is a Perl wrapper for the dfg2otter. Mainly, it adds a set of \s-1OTTER\s0 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 \s-1OTTER\s0 proof attempt to n seconds.

RELATED TO dfg2otter.pl…

checkstat\|(1), filestat\|(1), pcs\|(1), pgen\|(1), rescmp\|(1), tpform\|(1), tpget\|(1), deprose\|(1), dfg2otter\|(1), \s-1SPASS\s0\|(1)

AUTHORS

Thorsten Engel and Christian Theobalt.

Contact : [email protected]