Matthias Volk aa5c8fb6fe Travis: minor change in travis script		8 years ago
cmake	Python bindings for storm-pars	8 years ago
doc	reward models from drn files	8 years ago
examples	support for queries on schedulers	8 years ago
lib	Updated example drn file	8 years ago
resources/pybind11	Disabled LTO to avoid segfaults	8 years ago
setup	Extended setup.py script similar to pycarl one	8 years ago
src	support for queries on schedulers	8 years ago
tests	Updated example drn file	8 years ago
travis	Travis: change docker repo	8 years ago
.gitignore	generated config files should not be part of the git	9 years ago
.travis.yml	Travis: minor change in travis script	8 years ago
CHANGELOG.md	Increased required Storm version	8 years ago
CMakeLists.txt	Made expression module part of storage module	8 years ago
README.md	Small updated in README	8 years ago
setup.cfg	Extended setup.py script similar to pycarl one	8 years ago
setup.py	Increased required Storm version	8 years ago

Stormpy - Python bindings for Storm

Python bindings for Storm, created using PyBind11.

For more information, please check the documentation.

Stormpy depends on pycarl.