Start API Documentation stormpy.info storm_from_system 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.