Update z3 to 4.13.2.0

angr · Sep 29, 2024 · 640ae37 · 640ae37
1 parent 06078d5
commit 640ae37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/setup.cfg b/setup.cfg
@@ -20,7 +20,7 @@ packages = find:
 install_requires =
     cachetools
     typing-extensions
-    z3-solver==4.13.0.0
+    z3-solver==4.13.2.0
 python_requires = >=3.10
 
 [options.extras_require]