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