stormpy.info¶

Information about Storm and this installation of stormpy, e.g. versions and build settings.

Functions

`storm_build_info`()	Get build information of Storm, e.g. the compiler and the build date.
`storm_build_type`()	Get the build type of stormpy (e.g. Release, Debug).
`storm_development_version`()	Is true, if the version of Storm was marked as modified since release.
`storm_directory`()	Return the Storm directory which is used by stormpy.
`storm_exact_use_cln`()	Check if exact arithmetic in Storm uses CLN or GMP.
`storm_from_system`()	Does stormpy rely on a (pre-existing) system installation of Storm.
`storm_full_version`()	Get full Storm version including the development counter.
`storm_long_version`()	Get the long version string of Storm, including the git revision it was built from.
`storm_origin_info`()	Information about the source of Storm: the repo path, the repo tag and commit hash.
`storm_ratfunc_use_cln`()	Check if rational functions in Storm use CLN or GMP.
`storm_version`()	Get Storm version.