You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
sp
49dc726d4d
|
2 weeks ago | |
|---|---|---|
| .. | ||
| binder | 2 weeks ago | |
| cmake | 2 weeks ago | |
| doc | 2 weeks ago | |
| examples | 2 weeks ago | |
| lib/stormpy | 2 weeks ago | |
| resources/pybind11 | 2 weeks ago | |
| setup | 2 weeks ago | |
| src | 2 weeks ago | |
| tests | 2 weeks ago | |
| travis | 2 weeks ago | |
| .gitignore | 2 weeks ago | |
| .travis.yml | 2 weeks ago | |
| CHANGELOG.md | 2 weeks ago | |
| CMakeLists.txt | 2 weeks ago | |
| LICENSE | 2 weeks ago | |
| MANIFEST.in | 2 weeks ago | |
| README.md | 2 weeks ago | |
| adv_config.yaml | 2 weeks ago | |
| setup.cfg | 2 weeks ago | |
| setup.py | 2 weeks ago | |
| slippery_high_prob.yaml | 2 weeks ago | |
| slippery_prob_1.yaml | 2 weeks ago | |
| slippery_prob_08.yaml | 2 weeks ago | |
| slippery_prob_09.yaml | 2 weeks ago | |
| slippery_prob_075.yaml | 2 weeks ago | |
| slippery_prob_085.yaml | 2 weeks ago | |
| slippery_prob_095.yaml | 2 weeks ago | |
| slippery_prob_098.yaml | 2 weeks ago | |
| slippery_prob_099.yaml | 2 weeks ago | |
| syncscript.sh | 2 weeks ago | |
| testall.py | 2 weeks ago | |
| testall.sh | 2 weeks ago | |
README.md
Stormpy - Python bindings for Storm
Python bindings for Storm, created using PyBind11.
For more information, please check the documentation.
Dependencies
Stormpy depends on pycarl.
Authors
- Sebastian Junges
- Matthias Volk