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
|
6 months ago | |
|---|---|---|
| .. | ||
| binder | 6 months ago | |
| cmake | 6 months ago | |
| doc | 6 months ago | |
| examples | 6 months ago | |
| lib/stormpy | 6 months ago | |
| resources/pybind11 | 6 months ago | |
| setup | 6 months ago | |
| src | 6 months ago | |
| tests | 6 months ago | |
| travis | 6 months ago | |
| .gitignore | 6 months ago | |
| .travis.yml | 6 months ago | |
| CHANGELOG.md | 6 months ago | |
| CMakeLists.txt | 6 months ago | |
| LICENSE | 6 months ago | |
| MANIFEST.in | 6 months ago | |
| README.md | 6 months ago | |
| adv_config.yaml | 6 months ago | |
| setup.cfg | 6 months ago | |
| setup.py | 6 months ago | |
| slippery_high_prob.yaml | 6 months ago | |
| slippery_prob_1.yaml | 6 months ago | |
| slippery_prob_08.yaml | 6 months ago | |
| slippery_prob_09.yaml | 6 months ago | |
| slippery_prob_075.yaml | 6 months ago | |
| slippery_prob_085.yaml | 6 months ago | |
| slippery_prob_095.yaml | 6 months ago | |
| slippery_prob_098.yaml | 6 months ago | |
| slippery_prob_099.yaml | 6 months ago | |
| syncscript.sh | 6 months ago | |
| testall.py | 6 months ago | |
| testall.sh | 6 months 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