storm_from_system

storm_from_system() → bool

Does stormpy rely on a (pre-existing) system installation of Storm. System versions include anything on the system that was not fetched during the build of stormpy.

Returns:

True, if stormpy linked against a preexisting Storm installation.