Julian Hall
> Am I calling something wrong? No, when an IIS isn't found the values of `col_status` and `row_status` from the C++ class `HighsIis` must be set to `kIisStatusMaybeInConflict` - unless...
@odow, I've also tested the fix on your original C code Closed by #2636
> The problem is infeasible though? Doesn't actually matter with the default value of `iis_strategy` since no IIS is found - as it wouldn't be for a feasible problem.
Corrected IIS LP generation and checking when incumbent LP is stored rowwise: #2638
Interesting, this is very close to being feasible, since the default MIP feasibility tolerance is 1e-6. I'll look at how the post-optimality feasibility check is computed. I wouldn't change any...
@fwesselm Did you say that there was a problem solving mas76 in your benchmarking?
This infeasibility is with respect to a bound of 157345, so the violation (1e-11) of the feasibility tolerance is 1e17 less than the bound - so the violation is less...
"choose" allows us to change the behaviour when, for example, we introduce a mechanism to decide which form of LP solver to use based on model properties. However, at present...
That's interesting to see. It looks as if a stray printf has been left in. I'll fix that The primal infeasibility after removing the user scaling is to be expected....
This will be a consequence of scaling the bounds down by 2^20~10^6 and the resultant primal infeasibility. Specifically, if you scale the bounds down by 10^6 and solve to the...