From 35f68044b421f3246d13a396f3765f2cc4d1a24b Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 7 Dec 2016 22:50:55 +0100
Subject: [PATCH] initial readme

---
 README.md | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 README.md

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