|
@ -1,13 +1,13 @@ |
|
|
Stormpy - Python bindings for Storm |
|
|
Stormpy - Python bindings for Storm |
|
|
======================================= |
|
|
|
|
|
|
|
|
=================================== |
|
|
|
|
|
|
|
|
Stormpy contains python bindings for [storm](https://github.com/moves-rwth/storm/) |
|
|
|
|
|
|
|
|
Stormpy contains python bindings for [storm](https://github.com/moves-rwth/storm/). |
|
|
|
|
|
|
|
|
### Dependencies |
|
|
### Dependencies |
|
|
|
|
|
|
|
|
Stormpy depends on [pycarl](https://github.com/moves-rwth/pycarl/) |
|
|
|
|
|
|
|
|
Stormpy depends on [pycarl](https://github.com/moves-rwth/pycarl/). |
|
|
|
|
|
|
|
|
### Authors |
|
|
### Authors |
|
|
|
|
|
|
|
|
- Matthias Volk |
|
|
|
|
|
- Sebastian Junges |
|
|
- Sebastian Junges |
|
|
|
|
|
- Matthias Volk |