|
@ -1,10 +1,10 @@ |
|
|
Stormpy - Python bindings for Storm |
|
|
Stormpy - Python bindings for Storm |
|
|
=================================== |
|
|
=================================== |
|
|
|
|
|
|
|
|
Stormpy contains python bindings for [storm](https://github.com/moves-rwth/storm/). |
|
|
|
|
|
|
|
|
|
|
|
[![Build Status](https://travis-ci.org/moves-rwth/stormpy.svg?branch=master)](https://travis-ci.org/moves-rwth/stormpy) |
|
|
[![Build Status](https://travis-ci.org/moves-rwth/stormpy.svg?branch=master)](https://travis-ci.org/moves-rwth/stormpy) |
|
|
|
|
|
|
|
|
|
|
|
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/). |
|
@ -12,4 +12,4 @@ Stormpy depends on [pycarl](https://github.com/moves-rwth/pycarl/). |
|
|
### Authors |
|
|
### Authors |
|
|
|
|
|
|
|
|
- Sebastian Junges |
|
|
- Sebastian Junges |
|
|
- Matthias Volk |
|
|
|
|
|
|
|
|
- Matthias Volk |