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

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

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