z3-solver
torch
rich
click
requests

[web]
streamlit
