TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update z3 (#1835)

Browse Source
add/feats
Nikhil Parasaram 9 months ago committed by GitHub
parent 016bc733f6
commit 57dbd0cfd6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      requirements.txt

2
requirements.txt
Unescape View File

@ -33,7 +33,7 @@ rlp<4,>=3
semantic_version semantic_version
scikit-learn scikit-learn
transaction>=2.2.1 transaction>=2.2.1
z3-solver<4.12.2.0,>=4.8.8.0 z3-solver<=4.12.5.0,>=4.8.8.0
matplotlib matplotlib
pre-commit<2.21.0 pre-commit<2.21.0
certifi>=2020.06.20 certifi>=2020.06.20

Write Preview
Loading…
Cancel
Save