Stormpy - Python bindings for Storm

Python bindings for Storm, created using PyBind11.

Get started

Get started with stormpy directly in the browser via JupyterLab:

For more information on stormpy, please check the documentation.

Dependencies

Stormpy depends on pycarl.

Authors

Sebastian Junges
Matthias Volk