Stormpy.info

class Version

Version information for Storm

build_info = "Compiled on Linux 6.11.0-1018-azure using gcc 14.2.0 with flags 'compiled with NDEBUG'"
development = True
long = 'Version 1.10.0 (dev) build from revision GITDIR-NOTFOUND (potentially dirty)'
major = 1
minor = 10
patch = 0
short = '1.10.0 (dev)'
storm_development_version() bool

Is true, if the version of storm was marked as modified since release. :return: True if a development version

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, in particular the repo path and the repo tag.

If storm was already on the system during installation and this preexisting version was used,

these values 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.

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 pair with the repo path and the repo tag.

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