Pyomo无法加载AMPL安装的Couenne、Bonmin求解器问题求助

问题根源 #

该错误源于Windows系统默认使用cp1252编码读取Couenne/Bonmin求解器的输出，但求解器输出中包含该编码无法解析的字符（如0x81），导致Pyomo在检查版本信息时触发解码失败。

解决方案 #

1. 设置环境变量强制UTF-8编码 #

在运行Pyomo脚本前，设置PYTHONIOENCODING环境变量为utf-8，让子进程（求解器调用）使用UTF-8编码处理输出：

• 命令提示符：

  set PYTHONIOENCODING=utf-8
  

• PowerShell：

  $env:PYTHONIOENCODING = 'utf-8'
  

• 也可在Windows系统环境变量中永久设置该值。

2. 跳过.available()检查直接测试求解器 #

.available()方法因编码问题失效，但求解器本身可能正常工作。尝试直接运行简单模型验证：

from pyomo.environ import ConcreteModel, Var, Objective, NonNegativeReals, SolverFactory

# 创建测试模型
model = ConcreteModel()
model.x = Var(within=NonNegativeReals)
model.obj = Objective(expr=model.x**2)

# 调用求解器
solver = SolverFactory('couenne')
result = solver.solve(model)

# 输出结果
print("求解状态:", result.solver.status)
print("最优解:", model.x.value)

3. 临时修改Pyomo的ASL求解器代码 #

找到Pyomo安装目录下的ASL.py文件（路径类似anaconda3/envs/energylib/lib/site-packages/pyomo/solvers/plugins/solvers/ASL.py），修改_get_version方法中的subprocess.run调用，添加编码参数忽略错误字符：

# 原代码
results = subprocess.run(
    [self.executable, "--version"],
    capture_output=True,
    text=True
)

# 修改后
results = subprocess.run(
    [self.executable, "--version"],
    capture_output=True,
    text=True,
    encoding='utf-8',
    errors='ignore'
)

注意：此修改会在Pyomo更新后被覆盖，仅作为临时方案。

替代求解器建议 #

如果Couenne/Bonmin的编码问题无法解决，可考虑以下MINLP（混合整数非线性规划）求解器：

• SCIP：开源高性能求解器，支持conda安装（conda install -c conda-forge scip），功能覆盖Couenne的大部分场景。
• Ipopt：适用于无整数变量的非线性规划问题，安装便捷且稳定性高。
• Gurobi/Cplex：商业求解器，MINLP求解能力极强，适合复杂工业级问题（需授权）。

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