Stormpy.info

class Version

Version information for Storm

build_info = "Compiled on Linux 5.15.0-1020-azure using gcc 11.2.0 with flags ' -O3 -DNDEBUG -fprefetch-loop-arrays -flto -flto-partition=none -fomit-frame-pointer'"
development = True
long = 'Version 1.7.1 (dev) (+ 57 commits) build from revision 2d962f67434fca7512a751e3f6d155757d3b3e18 (clean)'
major = 1
minor = 7
patch = 1
short = '1.7.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