diff --git a/README.md b/README.md index cbb5979..c98d0e0 100644 --- a/README.md +++ b/README.md @@ -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) -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