requirements-mythril.txt

asn1crypto==0.24.0
attrdict==2.0.0
attrs==17.4.0
BTrees==4.5.0
certifi==2018.4.16
cffi==1.11.5
chardet==3.0.4
coincurve==7.1.0
coverage==4.5.1
cytoolz==0.9.0.1
dictionaries==0.0.1
eth-abi==1.0.0
eth-account==0.2.2
eth-hash==0.1.2
eth-keyfile==0.5.1
eth-keys==0.2.0b3
eth-rlp==0.1.2
eth-tester==0.1.0b23
eth-utils==1.0.3
ethereum==2.3.1
future==0.16.0
hexbytes==0.1.0
idna==2.6
Jinja2==2.10
laser-ethereum==0.16.0
MarkupSafe==1.0
more-itertools==4.1.0
mythril==0.16.31
pbkdf2==1.3
persistent==4.2.4.2
pkg-resources==0.0.0
pluggy==0.6.0
plyvel==1.0.4
py==1.5.3
py-ecc==1.4.2
py-flags==1.1.2
py-solc==2.1.0
pycparser==2.18
pycryptodome==3.6.1
pyethash==0.1.27
pysha3==1.0.2
pytest==3.5.1
PyYAML==3.12
repoze.lru==0.7
requests==2.18.4
rlp==0.6.0
scrypt==0.8.6
semantic-version==2.6.0
six==1.11.0
toolz==0.9.0
transaction==2.2.1
urllib3==1.22
z3-solver==4.5.1.0.post2
zc.lockfile==1.3.0
ZConfig==3.2.0
ZODB==5.4.0
zodbpickle==1.0
zope.interface==4.5.0