Mac OS Monterey下安装dreal失败：找不到python2.7

方案1：用Homebrew安装dreal（推荐适配Mac Monterey） #

• 先确认Homebrew已安装，未安装的话在终端执行：
  /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
• 直接安装dreal：
  brew install dreal
• 验证安装：终端输入dreal --version，能正常显示版本即成功。

方案2：修改PyPI安装脚本适配Python3 #

如果坚持用PyPI渠道安装，需要调整脚本的Python版本依赖：

• 通过pip download dreal下载源码包，解压后找到安装脚本
• 将所有脚本中引用python2.7的部分，替换为python3（或你系统中Python3的绝对路径，比如/usr/bin/python3）
• 手动执行修改后的安装脚本完成安装

不建议安装Python2.7的原因 #

Mac Monterey及后续系统已官方移除Python2支持，强行安装会引发兼容性问题；且Python2已停止维护，存在安全风险，完全没必要耗费精力尝试安装。

内容的提问来源于stack exchange，提问作者Qing