302 Found

The resource was found at https://files.pythonhosted.org/packages/33/f0/74b0f0b70b434e96b35aca232eaa2a0f149862dcc053219599c1e4671101/z3_solver-4.12.5.0-py2.py3-none-win32.whl; you should be redirected automatically.