Stormpy.info

class Version

Version information for Storm

build_info = "Compiled on Linux 5.8.0-1036-azure using gcc 10.3.0 with flags ' -std=c++14 -O3 -DNDEBUG -fprefetch-loop-arrays -flto -flto-partition=none -fomit-frame-pointer'"

development = True

long = 'Version 1.6.4 (dev) (+ 185 commits) build from revision a95ff3056a29abe6bf52c82d832bdd5546f8e380 (clean)'

major = 1

minor = 6

patch = 4

short = '1.6.4 (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