Update compats for HerbConstraints, SoleLogics (#23)

Co-authored-by: CompatHelper Julia <[email protected]>

Author: ReubenJ

Project.toml

@@ -27,15 +27,15 @@ 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"
 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"