Compute an Irreducible Inconsistent Subsystem (IIS). An IIS is a subset of the constraints and variable bounds with the following properties:
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 ( ) |