Rechercher une page de manuel

Chercher une autre page de manuel:

Langue: en

Version: 2003-04-29 (debian - 07/07/09)

Section: 1 (Commandes utilisateur)


dfg2otter - transforms DFG clause files into Otter format including Otter options

SYNOPSIS [options] [infile] [outfile]

DESCRIPTION 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, reads from stdin and writes to stdout. If one file argument is given, read from that file, and if a second argument is present, writes to it.


"-t n "
Sets the time limit for the OTTER proof attempt to n seconds.


checkstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), SPASS(1)


Thorsten Engel and Christian Theobalt.

Contact : Thomas Hillenbrand <>
          Christoph Weidenbach <>

La perfection est atteinte non quand il ne reste rien à ajouter, mais
quand il ne reste rien à enlever.
-+- Antoine de Saint-Exupéry (1900-1944) -+-