我正在将Pyomo的功能与NEOS和cplex结合使用。
我正在尝试将选项传递给求解器,并希望查看结果。
solver_manager = SolverManagerFactory('neos')
opt = SolverFactory("cplex")
opt.options["conflictalg"] = 1
opt.options["conflictdisplay"] = 2
opt.options['display'] = 1
opt.options['logfile'] = 'log_cplex.txt'
results = solver_manager.solve(mod, opt=opt,
tee=True,
keepfiles=True,
logfile='log_neos.txt',
load_solutions=True,
symbolic_solver_labels=True)
将其运行为不可行的模型会返回我:
Model infeasible, looking for conflicts
WARNING: Loading a SolverResults object with a warning status into
model=unknown;
message from solver=CPLEX 12.10.0.0\x3a integer infeasible.; 0 MIP
simplex iterations; 0 branch-and-bound nodes; No basis.
但是,似乎没有返回求解器的结果。 如何获得cplex / neos组合以返回冲突结果?