---
name: "dfg2otter.pl"
section: "1"
platform: "linux"
package: "spass"
version: "3.7-4"
release: "Debian 9 (Stretch)"
platforms: ["linux"]
url: "https://new.carta.tech/dfg2otter.pl"
---

# dfg2otter.pl(1)

transforms DFG clause files into Otter format including Otter options

## 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)](/pcs/1.md), [*pgen*(1)](/pgen/1.md), *rescmp*(1), *tpform*(1), *tpget*(1), *deprose*(1), [*dfg2otter*(1)](/dfg2otter/1.md), [*SPASS*(1)](/SPASS/1.md)

## AUTHORS

Thorsten Engel and Christian Theobalt.

Contact : spass@mpi-inf.mpg.de