Stormpy.info¶

class Version¶

Version information for Storm

build_info = "Compiled on Linux 6.17.0-1010-azure using gcc 15.2.0 with flags 'compiled with NDEBUG'"¶

development = True¶

git_hash = 'GITDIR-NOTFOUND'¶

long = 'Version 1.12.0 (dev) build from revision GITDIR-NOTFOUND (potentially dirty)'¶

major = 1¶

minor = 12¶

patch = 0¶

short = '1.12.0 (dev)'¶

storm_development_version() → bool¶

Is true, if the version of Storm was marked as modified since release.

Returns:: True if a development version

storm_directory() → str | None¶

Return the Storm directory which is used by stormpy.

If a prexisting installation of Storm was used, then the path to this directory is returned. If Storm was installed during the installation process, value None is returned.

Returns:: Storm directory.

storm_exact_use_cln() → bool¶

Check if exact arithmetic in Storm uses CLN or GMP.

Returns:: True iff exact arithmetic uses CLN.
Return type:: bool

storm_from_system() → bool¶

Does stormpy rely on a (pre-existing) system installation of Storm. System versions include anything on the system that was not fetched during the build of stormpy.

Returns:: True, if stormpy linked against a preexisting Storm installation.

storm_origin_info() → [str | None, str | None]¶

Information about the source of Storm: the repo path, the repo tag and commit hash.

If Storm was already on the system during installation and this preexisting version was used, the repo path and repo tag are expected to be None. If Storm was installed (locally) as part of the installation process, these values are expected to be not None. Then:

The repo path usually takes the form of a url.
The tag refers to a tag on the repo (can also be ‘master’).
The hash corresponds to the latest git commit.

A noteworthy exception is when the fetch was from a local source dir. In that case, this source dir is included, and the tag reads __local-source-dir__.

Returns:: A tuple with the repo path, the repo tag and the commit hash.

storm_ratfunc_use_cln() → bool¶

Check if rational functions in Storm use CLN or GMP.

Returns:: True iff rational functions use CLN.
Return type:: bool

storm_version() → str¶

Get Storm version.

Returns:: Storm version
Return type:: str