Skip to content

Deeper correctness & robustness fixes: known-peak indexing, unmixed-column order, interpeak split, infeasible bounds#28

Merged
gchure merged 4 commits into
mainfrom
fix/deeper-correctness
Jun 26, 2026
Merged

Deeper correctness & robustness fixes: known-peak indexing, unmixed-column order, interpeak split, infeasible bounds#28
gchure merged 4 commits into
mainfrom
fix/deeper-correctness

Commits

Commits on Jun 21, 2026

Commits on Jun 22, 2026

Commits on Jun 26, 2026