Bump z3-solver version number to 4.13.1.0

tpaviot · Sep 27, 2024 · 445406f · 445406f
1 parent e694c8e
commit 445406f
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -24,7 +24,7 @@ classifiers = [
 
 [tool.poetry.dependencies]
 python = ">=3.8,<4.0"
-z3-solver = "==4.13.0"
+z3-solver = "==4.13.1.0"
 pydantic = ">=2.5"
 
 [build-system]

diff --git a/requirements.txt b/requirements.txt
@@ -1,4 +1,4 @@
-z3-solver==4.13.0
+z3-solver==4.13.1.0
 setuptools
 rich
 pydantic

diff --git a/setup.py b/setup.py
@@ -31,7 +31,7 @@
     license="GPLv3",
     platforms="Platform Independent",
     packages=find_packages(),
-    install_requires=["z3-solver==4.13.0", "pydantic>=2"],
+    install_requires=["z3-solver==4.13.1.0", "pydantic>=2"],
     classifiers=CLASSIFIERS,
     zip_safe=True,
 )