|
@ -3,7 +3,10 @@ Stormpy - Python bindings for 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/). |
|
|
|
|
|
|
|
|
Python bindings for [Storm](https://github.com/moves-rwth/storm/), created using [PyBind11](http://pybind11.readthedocs.io/en/stable/intro.html). |
|
|
|
|
|
|
|
|
|
|
|
For more information, please check the [documentation](https://moves-rwth.github.io/stormpy/). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
### Dependencies |
|
|
### Dependencies |
|
|
|
|
|
|
|
|