安装z3-solver(python库)失败z3.z3types.Z3Exception: libz3.dll not found.

安装z3-solver报错

Could not find libz3.dll; consider adding the directory containing it to
  - your system's PATH environment variable,
  - the Z3_LIBRARY_PATH environment variable, or
  - to the custom Z3_LIBRARY_DIRS Python-builtin before importing the z3 module, e.g. via
    import builtins
    builtins.Z3_LIB_DIRS = [ '/path/to/libz3.dll' ]
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "D:\python\lib\site-packages\z3\__init__.py", line 1, in <module>
    from .z3 import *
  File "D:\python\lib\site-packages\z3\z3.py", line 45, in <module>
    from . import z3core
  File "D:\python\lib\site-packages\z3\z3core.py", line 67, in <module>
    raise Z3Exception("libz3.%s not found." % _ext)
z3.z3types.Z3Exception: libz3.dll not found.

解决办法：
原来是电脑缺少支持c++的组件组件如下图：

在360软件管家搜索“微软常用运行库合集”，并下载安装即可。