numpy>=1.23.0
opentelemetry-api>=1.33.1
scipy>=1.10.1
torch>=1.11.0
z3-solver>=4.14.0.0

[cpu]
torch>=1.11.0

[cuda]
torch>=1.11.0
