write_iis

(函数来自 pyomo.contrib.iis.iis)

pyomo.contrib.iis.iis.write_iis(pyomo_model, iis_file_name, solver=None, logger=<Logger pyomo.contrib.iis (INFO)>)[source]

为Pyomo MILP或LP编写一个不可约的不可行集 使用指定的商业求解器。

Parameters:

  • pyomo_model – 一个 Pyomo Block 或 ConcreteModel

  • iis_file_name (str) – 用于写入IIS的文件名，例如，infeasible_model.ilp

  • solver (str) – 指定要使用的求解器，可选“cplex”、“gurobi”或“xpress”。 如果为None，工具将使用第一个可用的求解器。

  • logger (logging.Logger) – 用于记录消息的日志记录器。默认使用pyomo.contrib.iis的日志记录器。

Returns:

iis_file_name – 包含IIS的文件。

Return type:

str