EnglishFrenchSpanish

OnWorks favicon

pbespgsolve - Online in the Cloud

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

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


pbespgsolve - Solve a (P)BES or parity game using a parity game solver

SYNOPSIS


pbespgsolve [OPTION]... [INFILE]

DESCRIPTION


Reads a file containing a (P)BES or a max parity game in PGSolver format,instantiates it
into a BES, and applies a parity game solver to it. If INFILE is not present, standard
input is used.

OPTIONS


OPTION can be any of the following:

-C, --cycle
Eliminate cycles

-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

-L, --loop
Eliminate self-loops

-g, --onlygenerate
Only generate the BES without solving

-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

-c, --scc
Use scc decomposition

-sNAME, --solver-type=NAME
Use the solver type NAME: 'spm' Small progress measures (default) 'altspm'
Alternative implementation of small progress measures 'recursive' Recursive
algorithm

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

-e, --verify
Verify the solution

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


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Image Downloader
    Image Downloader
    Crawl and download images using
    Selenium Using python3 and PyQt5.
    Supported Search Engine: Google, Bing,
    Baidu. Keywords input from the keyboard
    or input from ...
    Download Image Downloader
  • 2
    Eclipse Tomcat Plugin
    Eclipse Tomcat Plugin
    The Eclipse Tomcat Plugin provides
    simple integration of a tomcat servlet
    container for the development of java
    web applications. You can join us for
    discussio...
    Download Eclipse Tomcat Plugin
  • 3
    WebTorrent Desktop
    WebTorrent Desktop
    WebTorrent Desktop is for streaming
    torrents on Mac, Windows or Linux. It
    connects to both BitTorrent and
    WebTorrent peers. Now there's no
    need to wait for...
    Download WebTorrent Desktop
  • 4
    GenX
    GenX
    GenX is a scientific program to refine
    x-ray refelcetivity, neutron
    reflectivity and surface x-ray
    diffraction data using the differential
    evolution algorithm....
    Download GenX
  • 5
    pspp4windows
    pspp4windows
    PSPP is a program for statistical
    analysis of sampled data. It is a free
    replacement for the proprietary program
    SPSS. PSPP has both text-based and
    graphical us...
    Download pspp4windows
  • 6
    Git Extensions
    Git Extensions
    Git Extensions is a standalone UI tool
    for managing Git repositories. It also
    integrates with Windows Explorer and
    Microsoft Visual Studio
    (2015/2017/2019). Th...
    Download Git Extensions
  • More »

Linux commands

Ad