去z3官网下载wheel文件安装,不要用pycharm自身的库管理,里面的z3有问题。

更多推荐