Add nbgrader metadata to DeliveryExercise.ipynb

notebooks/experiments/DeliveryExercise.ipynb

@@ -2,7 +2,16 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "metadata": {},
+   "metadata": {
+    "nbgrader": {
+     "grade": false,
+     "grade_id": "cell-ca0e2d4a356e7ddd",
+     "locked": true,
+     "schema_version": 3,
+     "solution": false,
+     "task": false
+    }
+   },
    "source": [
     "# Exercice Sheet: B Expressions\n",
     "\n",
@@ -20,7 +29,15 @@
    "execution_count": 25,
    "metadata": {
     "deletable": false,
-    "editable": false
+    "editable": false,
+    "nbgrader": {
+     "grade": false,
+     "grade_id": "cell-9e087aee8a95121b",
+     "locked": true,
+     "schema_version": 3,
+     "solution": false,
+     "task": false
+    }
    },
    "outputs": [
     {
@@ -52,7 +69,16 @@
   {
    "cell_type": "code",
    "execution_count": 26,
-   "metadata": {},
+   "metadata": {
+    "nbgrader": {
+     "grade": false,
+     "grade_id": "cell-bfffcdda64188e4c",
+     "locked": true,
+     "schema_version": 3,
+     "solution": false,
+     "task": false
+    }
+   },
    "outputs": [
     {
      "data": {
@@ -71,14 +97,32 @@
   },
   {
    "cell_type": "markdown",
-   "metadata": {},
+   "metadata": {
+    "nbgrader": {
+     "grade": false,
+     "grade_id": "cell-46338618f1b7edff",
+     "locked": true,
+     "schema_version": 3,
+     "solution": false,
+     "task": false
+    }
+   },
    "source": [
     "The above machine also contains particular instantiations of the above sets and relations, which will be used in the exercises below."
    ]
   },
   {
    "cell_type": "markdown",
-   "metadata": {},
+   "metadata": {
+    "nbgrader": {
+     "grade": false,
+     "grade_id": "cell-44701490d6a9260e",
+     "locked": true,
+     "schema_version": 3,
+     "solution": false,
+     "task": false
+    }
+   },
    "source": [
     "## Exercise 1\n",
     "Write a B expression to compute the set of clients that have ordered article a5. Use the ```:let sol1 EXPRESSION``` in the cell below."
@@ -87,7 +131,16 @@
   {
    "cell_type": "code",
    "execution_count": 16,
-   "metadata": {},
+   "metadata": {
+    "nbgrader": {
+     "grade": false,
+     "grade_id": "cell-bab176fbf0a75b6f",
+     "locked": false,
+     "schema_version": 3,
+     "solution": true,
+     "task": false
+    }
+   },
    "outputs": [
     {
      "data": {
@@ -110,7 +163,17 @@
   {
    "cell_type": "code",
    "execution_count": 20,
-   "metadata": {},
+   "metadata": {
+    "nbgrader": {
+     "grade": true,
+     "grade_id": "cell-2b74a8ed88e60492",
+     "locked": true,
+     "points": 0,
+     "schema_version": 3,
+     "solution": false,
+     "task": false
+    }
+   },
    "outputs": [
     {
      "ename": "CommandExecutionException",
@@ -127,7 +190,16 @@
   },
   {
    "cell_type": "markdown",
-   "metadata": {},
+   "metadata": {
+    "nbgrader": {
+     "grade": false,
+     "grade_id": "exercise_2",
+     "locked": true,
+     "schema_version": 3,
+     "solution": false,
+     "task": false
+    }
+   },
    "source": [
     "## Exercise 2\n",
     "Write a B expression which computes the set of all articles ordered by at least one client. Use the ```:let sol2 EXPRESSION``` in the cell below."
@@ -136,7 +208,16 @@
   {
    "cell_type": "code",
    "execution_count": 22,
-   "metadata": {},
+   "metadata": {
+    "nbgrader": {
+     "grade": false,
+     "grade_id": "cell-5fb80f74fa97df15",
+     "locked": false,
+     "schema_version": 3,
+     "solution": true,
+     "task": false
+    }
+   },
    "outputs": [
     {
      "data": {
@@ -159,7 +240,17 @@
   {
    "cell_type": "code",
    "execution_count": 23,
-   "metadata": {},
+   "metadata": {
+    "nbgrader": {
+     "grade": true,
+     "grade_id": "cell-b1cc285b1a32f2bd",
+     "locked": true,
+     "points": 0,
+     "schema_version": 3,
+     "solution": false,
+     "task": false
+    }
+   },
    "outputs": [
     {
      "data": {
@@ -182,7 +273,17 @@
   {
    "cell_type": "code",
    "execution_count": 24,
-   "metadata": {},
+   "metadata": {
+    "nbgrader": {
+     "grade": true,
+     "grade_id": "cell-94e08eff5d6d66bf",
+     "locked": true,
+     "points": 0,
+     "schema_version": 3,
+     "solution": false,
+     "task": false
+    }
+   },
    "outputs": [
     {
      "ename": "CommandExecutionException",
@@ -225,7 +326,7 @@
   }
  ],
  "metadata": {
-  "celltoolbar": "Edit Metadata",
+  "celltoolbar": "Create Assignment",
   "kernelspec": {
    "display_name": "ProB 2",
    "language": "prob",