Sebastian Junges 4bc07c7cd2 first version set in code		9 years ago
doc	first version of docu	9 years ago
lib	first version set in code	9 years ago
resources	resolved pybind issue 550	9 years ago
src	Build from prism program has default formulas = []	9 years ago
tests	Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy	9 years ago
.gitignore	Used new pybind way of declaring parent classes	9 years ago
CMakeLists.txt	fixed destination for extension modules	9 years ago
README.md	initial readme	9 years ago
setup.py	Pytest is required	9 years ago

Stormpy - Python bindings for Storm

Stormpy contains python bindings for storm

Stormpy depends on pycarl