EnglishFrenchSpanish

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
    XyZerKunG ServerTool
    XyZerKunG ServerTool
    XyZerKunG ServerTool helps you to make
    your own Minecraft server and play with
    your friend for a few minutes.
    Features:Automatically create a
    Minecraft serverU...
    Download XyZerKunG ServerTool
  • 2
    CalcTools
    CalcTools
    Java source intended to serve as a
    nexus for teaching both mathematics and
    software solutions for computation on
    iterative equations. Public interfaces
    allow a...
    Download CalcTools
  • 3
    Rocket.Chat Desktop Client
    Rocket.Chat Desktop Client
    Rocket.Chat Desktop client is the
    official desktop app for Rocket.Chat,
    the simple but powerful open source web
    chat platform. It's tested on macOS,
    Windows...
    Download Rocket.Chat Desktop Client
  • 4
    OfficeFloor
    OfficeFloor
    OfficeFloor provides inversion of
    coupling control, with its: - dependency
    injection - continuation injection -
    thread injection For more information
    visit the...
    Download OfficeFloor
  • 5
    DivKit
    DivKit
    DivKit is an open source Server-Driven
    UI (SDUI) framework. It allows you to
    roll out server-sourced updates to
    different app versions. Also, it can be
    used fo...
    Download DivKit
  • 6
    subconverter
    subconverter
    Utility to convert between various
    subscription format. Shadowrocket users
    should use ss, ssr or v2ray as target.
    You can add &remark= to
    Telegram-liked HT...
    Download subconverter
  • More »

Linux commands

Ad