From b978d933eee72e0799cb7945b17b571887ed34e1 Mon Sep 17 00:00:00 2001
From: hannah <hannah.mertens@rwth-aachen.de>
Date: Sun, 2 Aug 2020 23:36:49 +0200
Subject: [PATCH] binder

---
 doc/source/doc/building_models.ipynb | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/doc/source/doc/building_models.ipynb b/doc/source/doc/building_models.ipynb
index 0901a47..4d018e1 100644
--- a/doc/source/doc/building_models.ipynb
+++ b/doc/source/doc/building_models.ipynb
@@ -7,6 +7,13 @@
     "# Building Models"
    ]
   },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/m-hannah/stormpy/master?filepath=notebooks%2Fbuilding_models.ipynb)"
+   ]
+  },
   {
    "cell_type": "markdown",
    "metadata": {},