Skip to content

RFC: priority-aware + canonical tie-breaks in tearing (order-robust tear-variable selection)#96

Merged
AayushSabharwal merged 6 commits into
mainfrom
priority-tearing-prototype
Jun 24, 2026
Merged

RFC: priority-aware + canonical tie-breaks in tearing (order-robust tear-variable selection)#96
AayushSabharwal merged 6 commits into
mainfrom
priority-tearing-prototype

canonical_sort_key: build sort key with Vector{Int}, not growing tuples

ec3cc20
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar