Mac环境下自带python2.7版本，安装Z3直接使用
pip install z3-solverpip install
阅读背景：
Mac重新安装python3环境下的Z3出现 not defined_秃头队长
来源：互联网
分享到：
