We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3255fe5 commit 4b4837fCopy full SHA for 4b4837f
1 file changed
optional_requirements.txt
@@ -1,4 +1,4 @@
1
pycparser
2
-z3-solver==4.8.7.0
+z3-solver==4.16.0.0
3
llvmlite==0.44.0
4
parameterized~=0.8.1
0 commit comments