diff --git a/setup.py b/setup.py
index db9ed81a4e..356450e0a4 100644
--- a/setup.py
+++ b/setup.py
@@ -12,7 +12,7 @@ testing_minimal = [
   "torch",
   "pytest",
   "pytest-xdist",
-  "hypothesis",
+  "hypothesis==6.131.0",
   "z3-solver",
 ]