Start API Documentation stormpy.info storm_long_version storm_long_version¶ storm_long_version() → str¶ Get the long version string of Storm, including the git revision it was built from. Returns: Long version string.