<!doctype html>
<html>
Gábor Molnár molnarg
molnarg
/ angularjs-sandbox-escape.md
Last active
August 3, 2017 08:46
An AngularJS Template Expression Sandbox Escape
molnarg
/ highs_sc_bug_repro_inline.py
Created
May 9, 2026 08:16
HiGHS 1.12.0 SC variable bug repro: MIP claims optimality with infeasibility = SC lower bound
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| """ | |
| Reproducer for HiGHS 1.12.0 semi-continuous variable bug. | |
| Symptom | |
| ------- | |
| When a MIP contains semi-continuous variables (integrality=2) and the LP | |
| relaxation places one or more of them at their lower bound `lo` exactly, | |
| HiGHS may return a "feasible / Optimal" solution that its OWN internal | |
| feasibility check passes (`row viol. 0`), while a separate post-validation | |
| rejects it with `infeasibility = X` where X equals the SC variable's `lo` |
OlderNewer