diff --git a/README.md b/README.md new file mode 100644 index 0000000..6539bf4 --- /dev/null +++ b/README.md @@ -0,0 +1,13 @@ +Stormpy - Python bindings for Storm +======================================= + +Stormpy contains python bindings for [storm](https://github.com/moves-rwth/storm/) + +### Dependencies + +Stormpy depends on [pycarl](https://github.com/moves-rwth/pycarl/) + +### Authors + +- Matthias Volk +- Sebastian Junges