From f2302291da583a69814837f538e6f682d3c49550 Mon Sep 17 00:00:00 2001
From: CompatHelper Julia <compathelper_noreply@julialang.org>
Date: Thu, 27 Feb 2025 00:31:18 +0000
Subject: [PATCH] Update compats for `HerbConstraints`, `SoleLogics`

---
 Project.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Project.toml b/Project.toml
index 648fc66..3b31238 100644
--- a/Project.toml
+++ b/Project.toml
@@ -27,7 +27,7 @@ DocStringExtensions = "0.9.3"
 DynamicalSystemsBase = "3.13.2"
 FileIO = "1"
 Graphs = "1.12"
-HerbConstraints = "0.2.4, 0.3"
+HerbConstraints = "0.4"
 HerbCore = "0.3.4"
 HerbGrammar = "0.5"
 HerbSearch = "0.4.1"
@@ -35,7 +35,7 @@ MLStyle = "0.4.17"
 MetaGraphsNext = "0.7"
 Random = "1.10"
 SciMLBase = "2.74.1"
-SoleLogics = "0.12.0"
+SoleLogics = "0.13"
 StaticArrays = "1.9.12"
 Statistics = "1.10"
 julia = "1.6"