pin to z3 == 4.10.2.0 since 4.11 seems to have introduced serious per…

…formance regressions (#287)
angr · Aug 22, 2022 · d1fe2df · d1fe2df
1 parent ad5bcda
commit d1fe2df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/setup.cfg b/setup.cfg
@@ -14,7 +14,7 @@ long_description_content_type = text/markdown
 
 [options]
 install_requires =
-    z3-solver >= 4.8.5.0
+    z3-solver == 4.10.2.0
     cachetools
     decorator
     pysmt >= 0.9.1.dev119