Skip to content

moves-rwth/stormpy

Repository files navigation

Stormpy - Python bindings for Storm

Build Status GitHub release DOI

Python bindings for Storm, created using PyBind11.

Stormpy includes Pycarl, the Python Bindings for CArL.

Get started

Get started with stormpy directly in the browser via JupyterLab:

badge

For more information on stormpy, please check the documentation.

Authors

  • Sebastian Junges
  • Matthias Volk

The development of pycarl received significant contributions from:

  • Harold Bruintjes

About

Python Bindings for the Probabilistic Model Checker Storm

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Contributors 19