Added numeric planning notebook

.github/workflows/test.yml

@@ -11,6 +11,7 @@ env:
   up_tamer_commit: "ddcb02f3457b097965d9d4596a972b5bf8f495ff"
   up_pyperplan_commit: "124482387cdc5c7a5673ac6ab47002b4ae2fd682"
   up_fast_downward_commit: "99dd5bce8f996a9557296644de38bdf94f1dbed8"
+  up_enhsp_commit: "e0c1567c30fe9eb6ec33bd8fdff24411c817cdee"
   up_fmap_commit: "d0e3c0c920b3a515486ae7526c0fba51c75361e1"
 
 jobs:
@@ -419,6 +420,22 @@ jobs:
       - name: Install up-fast-downward
         run: python3 -m pip install up-fast-downward/
 
+      - name: Setup java for ENHSP
+        uses: actions/setup-java@v2
+        with:
+          distribution: "microsoft"
+          java-version: "17"
+
+      - name: Checkout up-enhsp
+        uses: actions/checkout@v2
+        with:
+          repository: aiplan4eu/up-enhsp
+          path: up-enhsp
+          ref: ${{env.up_enhsp_commit}}
+
+      - name: Install up-enhsp
+        run: python3 -m pip install up-enhsp/
+
       - name: Install up-aries
         run: pip3 install up-aries
 

docs/examples.rst

@@ -28,6 +28,26 @@ In particular we will go through the following steps:
 * call multiple planners in parallel.
 
 
+
+Numeric Planning
+----------------
+
+
+.. image:: https://img.shields.io/badge/see-Github-579aca?logo=github
+   :target: https:///github.com/aiplan4eu/unified-planning/blob/master/docs/notebooks/01-numeric-planning.ipynb
+   :alt: Open In GitHub
+
+
+.. image:: https://colab.research.google.com/assets/colab-badge.svg
+   :target: https://colab.research.google.com/github/aiplan4eu/unified-planning/blob/master/docs/notebooks/01-numeric-planning.ipynb
+   :alt: Open In Colab
+
+
+In this notebook we show how to model a numeric problem.
+
+We will define a simple problem with counters that must be incremented.
+
+
 Optimal Planning
 ----------------