Start API Documentation stormpy.info storm_development_version storm_development_version¶ storm_development_version() → bool¶ Is true, if the version of Storm was marked as modified since release. Returns: True if a development version