Links for z3slim
z3slim-0.2.0-py3-none-win_amd64.whl