numpy>=1.20.1
pandas>=1.2.3
z3-solver>=4.8.10
tqdm>=4.59
