Merge pull request #271 from alcides/dependabot/pip/z3-solver-4.13.4.0

Bump z3-solver from 4.13.3.0 to 4.13.4.0
alcides · Dec 16, 2024 · 8b0cfd6 · 8b0cfd6
2 parents 396c214 + de9e870
commit 8b0cfd6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -37,7 +37,7 @@ dependencies = [
     'seaborn==0.13.2',
     'sympy==1.13.3',
     'threadpoolctl==3.5.0',
-    'z3-solver==4.13.3.0',
+    'z3-solver==4.13.4.0',
 ]
 
 [project.urls]

diff --git a/requirements.txt b/requirements.txt
@@ -12,4 +12,4 @@ scikit-learn==1.6.0
 seaborn==0.13.2
 sympy==1.13.3
 threadpoolctl==3.5.0
-z3-solver==4.13.3.0
+z3-solver==4.13.4.0