EnglishFrenchSpanish

Ad


OnWorks favicon

dfg2otter.pl - Online in the Cloud

Run dfg2otter.pl in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command dfg2otter.pl that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

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.

Use dfg2otter.pl online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    itop - ITSM  CMDB OpenSource
    itop - ITSM CMDB OpenSource
    IT Operations Portal: a complete open
    source, ITIL, web based service
    management tool including a fully
    customizable CMDB, a helpdesk system and
    a document man...
    Download itop - ITSM CMDB OpenSource
  • 2
    Clementine
    Clementine
    Clementine is a multi-platform music
    player and library organizer inspired by
    Amarok 1.4. It has a fast and
    easy-to-use interface, and allows you to
    search and ...
    Download Clementine
  • 3
    XISMuS
    XISMuS
    ATTENTION: Cumulative update 2.4.3 has
    been released!! The update works for any
    previous 2.x.x version. If upgrading
    from version v1.x.x, please download and
    i...
    Download XISMuS
  • 4
    facetracknoir
    facetracknoir
    Modular headtracking program that
    supports multiple face-trackers, filters
    and game-protocols. Among the trackers
    are the SM FaceAPI, AIC Inertial Head
    Tracker ...
    Download facetracknoir
  • 5
    PHP QR Code
    PHP QR Code
    PHP QR Code is open source (LGPL)
    library for generating QR Code,
    2-dimensional barcode. Based on
    libqrencode C library, provides API for
    creating QR Code barc...
    Download PHP QR Code
  • 6
    Freeciv
    Freeciv
    Freeciv is a free turn-based
    multiplayer strategy game, in which each
    player becomes the leader of a
    civilization, fighting to obtain the
    ultimate goal: to bec...
    Download Freeciv
  • More »

Linux commands

Ad