chore: require a version of Aries with support for tils.

aiplan4eu · Dec 5, 2023 · 1ddb024 · 1ddb024
1 parent f7e7896
commit 1ddb024
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/setup.py b/setup.py
@@ -29,7 +29,7 @@
         "fast-downward": ["up-fast-downward==0.4.0"],
         "lpg": ["up-lpg==0.0.10"],
         "fmap": ["up-fmap==0.0.12"],
-        "aries": ["up-aries>=0.3.1"],
+        "aries": ["up-aries>=0.3.2"],
         "symk": ["up-symk>=1.0.1"],
         "engines": [
             "tarski[arithmetic]",
@@ -39,7 +39,7 @@
             "up-fast-downward==0.4.0",
             "up-lpg==0.0.10",
             "up-fmap==0.0.12",
-            "up-aries>=0.3.1",
+            "up-aries>=0.3.2",
             "up-symk>=1.0.1",
         ],
         "plot": [