func_timeout~=4.3.5
networkx~=2.4
sty~=1.0.0rc0
z3-solver~=4.8.8.0
tqdm~=4.48.2
openai
loguru
httpx

[dev]
setuptools
pytest
pytest-cov
