Presolve/postsolve debug utilities - #3219

Merged

jajhall merged 12 commits into

presolve-postsolve-debug-utilities

Aug 18, 2026

Commits on Aug 15, 2026

Introduced struct MipViolation
Julian Hall
committed
c3f26e8
Now passing MipViolation instance in HighsMipSolver::solutionFeasible
Julian Hall
committed
e9c89f3
Now logging MipViolation via MipViolation::log with greater detail when log_dev_level > 0
Julian Hall
committed
1a4d681
Now counting violations and recording col/row of max
Julian Hall
committed
fca5820

Commits on Aug 16, 2026

Added method to log variable properties before and after postsolve
Julian Hall
committed
46a719e
Added conditional logging to enable easy reach to erroneous reduction for 3216.lp
Julian Hall
committed
d312273

Commits on Aug 17, 2026

Removed debugging code specific to fix-3216 and commented out debug lambdas and their calls in undo for HighsPostsolveStack.h
Julian Hall
committed
a88b44e
Merge branch 'latest' into presolve-postsolve-debug-utilities
Julian Hall
committed
8e09877
Merged in latest and formatted
Julian Hall
committed
f007104

Commits on Aug 18, 2026

Now use updatePrimalViolation lambda in HighsMipSolver::solutionFeasible
jajhall
committed
47a9032
Updated following @fwesselm's comments
jajhall
committed
4d0ac90
Saved edited file!
jajhall
committed
5c69aec