z3-solver
pydantic
networkx
pandas
rich
textual
icecream
