From fae092dbad911f738420adb481349f1207915561 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 11 Aug 2017 11:13:02 +0200 Subject: [PATCH] Small updated in README --- README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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