
[analysis]
crosshair-tool<0.1,>=0.0.112

[corr]

[corr:python_version >= "3.12"]
scipy==1.18.1
numpy==2.5.3

[qa]
hypothesis<7,>=6.100
psutil<8,>=5.9

[solver]
z3-solver<6,>=4.13
