Infeasibility Finder
Type: Selection
Range: The settings listed below
Default: Off
If this option is switched ‘On’ and a model is infeasible, extra information will be written to the listing file. Possible values are:
On
Off
Note
By default AIMMS will suppress the writing of the irreducible infeasibility set (IIS) for encrypted AIMMS projects; see the option Suppress Listing File Encrypted Project .
The following solvers have an infeasibility finder: CPLEX, Gurobi, COPT, CONOPT and BARON.
The infeasibility finder can also be used for infeasible MIP models using CPLEX, Gurobi or COPT, or nonlinear models using Gurobi.
CPLEX will use its conflict refiner if this option is switched on to construct an irreducible infeasibility set (IIS).
XA’s infeasibility finder will only be used if this option is switched on and the XA option Force is set to ‘Yes’.
CONOPT’s infeasibility finder only finds infeasibilities in recursive and triangular equations.
BARON’s infeasibility finder will only be used if this option is switched on and the BARON option Compute IIS is set to a non-default value.
An alternative for locating infeasibilities in your model is available via the violation penalty attribute of the mathematical program.
Learn more about