z3-solver
tqdm
