Try our new documentation site (beta).
ConstrVio
Type: | double |
---|---|
Modifiable: | No |
Reporting constraint violations for the simplex solver is actually
more complex than it may appear, due to the treatment of slacks on
linear inequality constraints. The simplex solver introduces explicit
non-negative slack variables inside the algorithm. Thus, for example,
becomes . In this formulation,
constraint errors can show up in two places: (i) as bound violations
on the computed slack variable values, and (ii) as differences between
and . We report the former as ConstrVio
and the latter as ConstrResidual
.
For MIP models, ConstrResidual
is always zero, and any violations
are reported in ConstrVio
.
ConstrVio
reports the maximum (unscaled) slack bound violation.
Available for all model types.