Merge pull request #652 from aiplan4eu/deps/up-aries-0.4

deps(aries): Bump minimal version of aries engine.
aiplan4eu · Dec 19, 2024 · 6b3e67b · 6b3e67b
2 parents cfc7b31 + 76d0565
commit 6b3e67b
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": [