在用Ubuntu安装z3的过程中，一直报错。搜索了很多和ModuleNotFoundError相关的文章，但发现这种方法很难，同时不一定能解决我这个问题，因为我也没有安装pycharm,对python也不是很熟悉。后来转念一想，我直接搜索ubuntu distutils.sysconfig，果然找到了解决办法。
参考自：ubuntu14(python3.7) 安装pip3报错：importError: cannot import name 'sysconfig'_Joker's blog-CSDN博客
