Binder notebook (#1)

Created Binder support for starter project.
Added Jupyter notebook, created Dockerfile and updated README.

Author: m-hannah

Dockerfile

@@ -0,0 +1,45 @@
+FROM movesrwth/stormpy:1.6.0
+MAINTAINER Matthias Volk <[email protected]>
+
+
+##########
+# Create user
+##########
+
+ARG NB_USER=jovyan
+ARG NB_UID=1000
+ENV USER ${NB_USER}
+ENV NB_UID ${NB_UID}
+ENV HOME /home/${NB_USER}
+
+RUN adduser --disabled-password \
+    --gecos "Default user" \
+    --uid ${NB_UID} \
+    ${NB_USER}
+
+# Change the owner of the virtual environment
+WORKDIR /opt
+USER root
+RUN chown -R ${NB_UID} venv
+USER ${NB_USER}
+
+WORKDIR ${HOME}
+# Add missing path
+ENV PATH="$HOME/.local/bin:$PATH"
+
+
+##########
+# Install dependencies
+##########
+
+RUN pip install --no-cache-dir notebook==5.7.9
+
+##########
+# Copy files for notebooks
+##########
+
+# tests
+RUN mkdir notebooks
+COPY /examples notebooks/examples
+COPY *.ipynb notebooks/
+

README.md

@@ -1,6 +1,8 @@
 # storm-project-starter-python
 Starter project for the Python API of Storm via Stormpy
 
+[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/m-hannah/storm-project-starter-python/master?filepath=notebooks%2Fstormpy_starter.ipynb)
+
 ## Getting Started
 Before starting, make sure that Storm and stormpy are installed. If not, see the [documentation](https://moves-rwth.github.io/stormpy/installation.html) for details on how to install stormpy.
 
@@ -24,4 +26,4 @@ The answer should be yes.
 
 ## What is next?
 You are all set to implement your own tools and algorithms on top of stormpy.
-Feel free to contribute your new algorithms to stormpy, such that others can enjoy them.
+Feel free to contribute your new algorithms to stormpy, such that others can enjoy them.

stormpy_starter.ipynb

@@ -0,0 +1,82 @@
+{
+ "cells": [
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "import stormpy as sp"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "def check(path_to_model, property_str):\n",
+    "    program = sp.parse_prism_program(path_to_model)\n",
+    "    props = sp.parse_properties(property_str, program)\n",
+    "    model = sp.build_model(program, props)\n",
+    "    result = sp.model_checking(model, props[0])\n",
+    "    return result.at(model.initial_states[0]) > 0.5"
+   ]
+  },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "#### Call function (first property)"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "res = check(\"examples/die.pm\", \"examples/die.pctl\")\n",
+    "print(\"Result > 0.5? \" + (\"yes\" if res else \"no\"))"
+   ]
+  },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "#### Call function (second property)"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "res = check(\"examples/die.pm\", \"examples/die2.pctl\")\n",
+    "print(\"Result > 0.5? \" + (\"yes\" if res else \"no\"))"
+   ]
+  }
+ ],
+ "metadata": {
+  "kernelspec": {
+   "display_name": "Python 3",
+   "language": "python",
+   "name": "python3"
+  },
+  "language_info": {
+   "codemirror_mode": {
+    "name": "ipython",
+    "version": 3
+   },
+   "file_extension": ".py",
+   "mimetype": "text/x-python",
+   "name": "python",
+   "nbconvert_exporter": "python",
+   "pygments_lexer": "ipython3",
+   "version": "3.8.2"
+  }
+ },
+ "nbformat": 4,
+ "nbformat_minor": 4
+}