Links for z3-solver
z3_solver-4.15.1.0-2-py3-none-linux_aarch64.whl
z3_solver-4.15.1.0-2-py3-none-linux_x86_64.whl