From 76d05658afe78e59f95200d58b7210e120d57f1b Mon Sep 17 00:00:00 2001
From: Arthur Bit-Monnot <abitmonnot@laas.fr>
Date: Wed, 18 Dec 2024 21:04:06 +0100
Subject: [PATCH] deps(aries): Bump minimal version of aries engine.

---
 setup.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/setup.py b/setup.py
index 3e7ecd9d5..f929e575a 100644
--- 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": [