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_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_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