Compute an Irreducible Inconsistent Subsystem (IIS). An IIS is a subset of the constraints and variable bounds with the following properties:
- the subsystem represented by the IIS is infeasible, and
- if any of the constraints or bounds of the IIS is removed, the subsystem becomes feasible.
If an IIS computation is interrupted before completion, Gurobi will return the smallest IIS found to that point.
This method populates the
constraint attributes, the
IISSOS SOS attribute, and the
IISUB variable attributes. You can also
obtain information about the results of the IIS computation by writing
.ilp format file (see
Model.write). This file
contains only the IIS from the original model.
Note that this method can be used to compute IISs for both continuous and MIP models.