EnglishFrenchSpanish

Ad


OnWorks favicon

lpsbinary - Online in the Cloud

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

This is the command lpsbinary 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


lpsbinary - replace finite sort variables by vectors of boolean variables in an LPS

SYNOPSIS


lpsbinary [OPTION]... [INFILE [OUTFILE]]

DESCRIPTION


Replace finite sort variables by vectors of boolean variables in the LPS in INFILE and
write the result to OUTFILE. If INFILE is not present, stdin is used. If OUTFILE is not
present, stdout is used

OPTIONS


OPTION can be any of the following:

-QNUM, --qlimit=NUM
limit enumeration of quantifiers to NUM variables. (Default NUM=1000, NUM=0 for
unlimited).

-rNAME, --rewriter=NAME
use rewrite strategy NAME: 'jitty' jitty rewriting (default) 'jittyc' compiled
jitty rewriting 'jittyp' jitty rewriting with prover

--timings[=FILE]
append timing measurements to FILE. Measurements are written to standard error if
no FILE is provided

Standard options:

-q, --quiet
do not display warning messages

-v, --verbose
display short intermediate messages

-d, --debug
display detailed intermediate messages

--log-level=LEVEL
display intermediate messages up to and including level

-h, --help
display help information

--version
display version information

Use lpsbinary online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

Linux commands

  • 1
    abidw
    abidw
    abidw - serialize the ABI of an ELF
    file abidw reads a shared library in ELF
    format and emits an XML representation
    of its ABI to standard output. The
    emitted ...
    Run abidw
  • 2
    abilint
    abilint
    abilint - validate an abigail ABI
    representation abilint parses the native
    XML representation of an ABI as emitted
    by abidw. Once it has parsed the XML
    represe...
    Run abilint
  • 3
    createhdf
    createhdf
    createhdf Create a blank IDE hard
    disk image inhdf format ...
    Run createhdf
  • 4
    CreateInterface
    CreateInterface
    CreateInterface Create a Java
    Interface definition from DBus
    introspection data. ...
    Run CreateInterface
  • 5
    gba3
    gba3
    gba3 - GAMBAS Archiver ...
    Run gba3
  • 6
    gbackground
    gbackground
    gbackground - interval-based gnome
    background changer SYNTAX: gbackground
    DESCRIPTION: This program allows to
    change periodically the gnome background
    in inter...
    Run gbackground
  • More »

Ad