Version¶Version information for Storm
build_info = "Compiled on Linux 4.4.0-101-generic using gcc 7.3.0 with flags ' -std=c++14 -O3 -DNDEBUG -fprefetch-loop-arrays -flto -flto-partition=none -fomit-frame-pointer'"¶development = True¶long = 'Version 1.3.1 (dev) (+ 31 commits) build from revision 3c5f25fe4a960575137859629d8596cefce37772 (clean)'¶major = 1¶minor = 3¶patch = 1¶short = '1.3.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