Skip to content

perf(constraints): direct rectangle-to-CSR freeze, sort only when nterm > 1 - #1015

Merged
FabianHofmann merged 1 commit into
masterfrom
perf/fast-freeze-1009
Oct 7, 2026
Merged

FabianHofmann merged 1 commit into
masterfrom
perf/fast-freeze-1009