Stormpy - Python bindings for Storm

Python bindings for Storm, created using PyBind11.

For more information, please check the documentation.

Stormpy depends on pycarl.

Name		Name	Last commit message	Last commit date
Latest commit History 698 Commits
cmake		cmake
doc		doc
examples		examples
lib/stormpy		lib/stormpy
resources/pybind11		resources/pybind11
setup		setup
src		src
tests		tests
travis		travis
.gitignore		.gitignore
.travis.yml		.travis.yml
CHANGELOG.md		CHANGELOG.md
CMakeLists.txt		CMakeLists.txt
Dockerfile		Dockerfile
LICENSE		LICENSE
MANIFEST.in		MANIFEST.in
README.md		README.md
setup.cfg		setup.cfg
setup.py		setup.py

m-hannah/stormpy