EnglishFrenchSpanish

OnWorks favicon

pbesconstelm - Online in the Cloud

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

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


pbesconstelm - remove constant parameters from a PBES

SYNOPSIS


pbesconstelm [OPTION]... [INFILE [OUTFILE]]

DESCRIPTION


Reads a file containing a PBES, and applies constant parameter elimination to it. If
OUTFILE is not present, standard output is used. If INFILE is not present, standard input
is used.

OPTIONS


OPTION can be any of the following:

-c, --compute-conditions
compute propagation conditions

-iFORMAT, --in=FORMAT
use input format FORMAT: 'pbes' PBES in internal format 'pbes_text' PBES in
internal textual format 'text' PBES in textual (mCRL2) format 'bes' BES in internal
format 'bes_text' BES in internal textual format 'cwi' BES in CWI format 'pgsolver'
BES in PGSolver format

-oFORMAT, --out=FORMAT
use output format FORMAT: 'pbes' PBES in internal format 'pbes_text' PBES in
internal textual format 'text' PBES in textual (mCRL2) format

-pNAME, --pbes-rewriter=NAME
use pbes rewrite strategy NAME: 'simplify' for simplification (default)
'quantifier-all' for eliminating all quantifiers 'quantifier-finite' for
eliminating finite quantifier variables 'pfnf' for rewriting into PFNF normal form
'ppg' for rewriting into Parameterised Parity Game form 'bqnf-quantifier' for
rewriting quantifiers over conjuncts to conjuncts of quantifiers (experimental)

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

-e, --remove-equations
remove redundant equations

-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 pbesconstelm online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    MSYS2
    MSYS2
    MSYS2 is a collection of tools and
    libraries providing you with an
    easy-to-use environment for building,
    installing and running native Windows
    software. It con...
    Download MSYS2
  • 2
    libjpeg-turbo
    libjpeg-turbo
    libjpeg-turbo is a JPEG image codec
    that uses SIMD instructions (MMX, SSE2,
    NEON, AltiVec) to accelerate baseline
    JPEG compression and decompression on
    x86, x8...
    Download libjpeg-turbo
  • 3
    Xtreme Download Manager
    Xtreme Download Manager
    The project has a new home now:
    https://xtremedownloadmanager.com/ For
    developers:
    https://github.com/subhra74/xdm Xtreme
    Download Manager is a powerful tool t...
    Download Xtreme Download Manager
  • 4
    TTGO VGA32 Lite
    TTGO VGA32 Lite
    Features:4:3 and 16:9 low resolution
    VGA outputPS/2 keyboard and mouse
    inputText-based user interface (TUI)
    with dialog managerPartial Unicode
    supportSlave dis...
    Download TTGO VGA32 Lite
  • 5
    Clover EFI bootloader
    Clover EFI bootloader
    Project has moved to
    https://github.com/CloverHackyColor/CloverBootloader..
    Features:Boot macOS, Windows, and Linux
    in UEFI or legacy mode on Mac or PC with
    UE...
    Download Clover EFI bootloader
  • 6
    unitedrpms
    unitedrpms
    Join us in Gitter!
    https://gitter.im/unitedrpms-people/Lobby
    Enable the URPMS repository in your
    system -
    https://github.com/UnitedRPMs/unitedrpms.github.io/bl...
    Download unitedrpms
  • More »

Linux commands

Ad