Try our new documentation site (beta).
Filter Content By
Version
Text Search
${sidebar_list_label} - Back
Filter by Language
GRBModel::computeIIS()
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 IISCONSTR
, IISQCONSTR
, and
IISGENCONSTR
constraint attributes,
the IISSOS
SOS attribute, and the
IISLB
, and IISUB
variable attributes. You can also
obtain information about the results of the IIS computation by writing
a .ilp
format file (see
GRBModel::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.
void | computeIIS ( ) |