z3-solver~=4.8.10
meson>=1.6.1
tqdm>=4.65.0
