iis

该模块包含用于使用指定的商业求解器（CPLEX、Gurobi 或 Xpress）计算 Pyomo MILP 或 LP 的不可约不可行集的函数。

Classes

CplexConflict(solver)
GurobiIIS(solver)
XpressIIS(solver)

Functions

IISFactory(solver)
write_iis(pyomo_model, iis_file_name[, ...])	使用指定的商业求解器为Pyomo MILP或LP编写一个不可约的不可行集。