requirements.txt

ailment==9.2.64
angr==9.2.64
annotated-types==0.5.0
archinfo==9.2.64
asttokens==2.4.0
backcall==0.2.0
bitarray==2.8.0
bitstring==4.1.0
bqplot==0.12.40
cachetools==5.3.1
capstone==5.0.0.post1
certifi==2023.7.22
cffi==1.15.1
charset-normalizer==3.2.0
claripy==9.2.64
cle==9.2.64
comm==0.1.4
contourpy==1.1.0
CppHeaderParser==2.7.4
cycler==0.11.0
debugpy==1.7.0
decorator==5.1.1
dpkt==1.9.8
executing==1.2.0
fonttools==4.42.1
future==0.18.3
gitdb==4.0.10
GitPython==3.1.32
idna==3.4
ipydatawidgets==4.3.5
ipykernel==6.25.2
ipympl==0.9.3
ipython==8.15.0
ipython-genutils==0.2.0
ipyvolume==0.6.3
ipyvue==1.10.1
ipyvuetify==1.8.10
ipywebrtc==0.6.0
ipywidgets==8.1.1
itanium-demangler==1.1
jedi==0.19.0
jsonpickle==3.0.2
jupyter_client==8.3.1
jupyter_core==5.3.1
jupyterlab-widgets==3.0.9
kiwisolver==1.4.5
markdown-it-py==3.0.0
matplotlib==3.8.0
matplotlib-inline==0.1.6
mdurl==0.1.2
mpmath==1.3.0
mulpyplexer==0.9
nampa==0.1.1
nest-asyncio==1.5.7
networkx==3.1
numpy==1.25.2
packaging==23.1
pandas==2.1.0
parso==0.8.3
Pebble==5.0.3
pefile==2023.2.7
pexpect==4.8.0
pickleshare==0.7.5
Pillow==10.0.1
platformdirs==3.10.0
plumbum==1.8.2
ply==3.11
prompt-toolkit==3.0.39
protobuf==4.24.1
psutil==5.9.5
ptyprocess==0.7.0
pure-eval==0.2.2
pycparser==2.21
pydantic==2.3.0
pydantic_core==2.6.3
pyelftools==0.29
Pygments==2.16.1
pyparsing==3.1.1
PySMT==0.9.5
python-dateutil==2.8.2
pythreejs==2.4.2
pytz==2023.3.post1
pyvex==9.2.64
PyYAML==6.0.1
pyzmq==25.1.1
requests==2.31.0
rich==13.5.2
rpyc==5.3.1
six==1.16.0
smmap==5.0.0
sortedcontainers==2.4.0
stack-data==0.6.2
sympy==1.12
tabulate==0.9.0
tornado==6.3.3
traitlets==5.9.0
traittypes==0.2.1
typing_extensions==4.7.1
tzdata==2023.3
unicorn==2.0.1.post1
urllib3==2.0.4
wcwidth==0.2.6
widgetsnbextension==4.0.9
z3-solver==4.10.2.0