pandas==2.0.2
torch==2.1.2
z3-solver==4.12.2.0
coverage==7.3.2
scikit-learn==1.2.2
numpy==1.23.5
vllm==0.2.7
flask==2.2.5
scipy==1.10.1
autograd==1.6.2
