Mac环境下自带python2.7版本,安装Z3直接使用
pip install z3-solver
如果已经成功安装Z3后想在python3.7版本下使用Z3
如果直接使用命令
python2.7 -m pip install z3-solver
会出现错误,缺少py文件导致未定义。
NameError: name 'Implies' is not defined
只需要将python2.7下的 site-packages的z3相关文件复制到python3.7的site-packages中即可。