Stormpy.info¶
- class Version¶
Version information for Storm
- build_info = "Compiled on Linux 6.5.0-1025-azure using gcc 13.2.0 with flags ' -DBOOST_PHOENIX_STL_TUPLE_H_ -O3 -DNDEBUG -fprefetch-loop-arrays -flto -flto-partition=none -fomit-frame-pointer'"¶
- development = True¶
- long = 'Version 1.9.1 (dev) (derived statically) (+ 32 commits) build from revision GITDIR-NOTFOUND (potentially dirty)'¶
- major = 1¶
- minor = 9¶
- patch = 1¶
- short = '1.9.1 (dev)'¶
- storm_exact_use_cln()¶
Check if exact arithmetic in Storm uses CLN. :return: True if exact arithmetic uses CLN.
- storm_ratfunc_use_cln()¶
Check if rational functions in Storm use CLN. :return: True iff rational functions use CLN.
- storm_version()¶
Get storm version. :return: Storm version