stormpy.developer.info

Warning

The stormpy developer API is internal and can be subject to change.

Raw bindings for Storm’s version information.

This module is intended for developers. Use stormpy.info for the documented public API.

Classes

StormVersion

Version information for Storm