deps(aries): Bump minimal version of aries engine.

aiplan4eu · Dec 18, 2024 · 76d0565 · 76d0565
1 parent cfc7b31
commit 76d0565
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.5.0"],
         "lpg": ["up-lpg==0.1.1"],
         "fmap": ["up-fmap==0.0.13"],
-        "aries": ["up-aries>=0.3.3"],
+        "aries": ["up-aries>=0.4.0"],
         "symk": ["up-symk>=1.3.0"],
         "engines": [
             "tarski[arithmetic]",
@@ -39,7 +39,7 @@
             "up-fast-downward~=0.5.0",
             "up-lpg==0.1.1",
             "up-fmap==0.0.13",
-            "up-aries>=0.3.3",
+            "up-aries>=0.4.0",
             "up-symk>=1.3.0",
         ],
         "plot": [