From e4c53a47c9b38af7ec056aa56758ca916dbaefdd Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 27 Jul 2017 14:27:35 +0200 Subject: [PATCH] Changed README --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 6539bf4..7fed50f 100644 --- a/README.md +++ b/README.md @@ -1,13 +1,13 @@ 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 -Stormpy depends on [pycarl](https://github.com/moves-rwth/pycarl/) +Stormpy depends on [pycarl](https://github.com/moves-rwth/pycarl/). ### Authors -- Matthias Volk - Sebastian Junges +- Matthias Volk \ No newline at end of file