Skip to content

Add complexity consistency audit; fix NonTautology, MinimumWeightDecoding and MaxCut<One> complexities - #1219

Merged
GiggleLiu merged 8 commits into
mainfrom
feat/complexity-consistency-audit
Oct 30, 2026
Merged

Add complexity consistency audit; fix NonTautology, MinimumWeightDecoding and MaxCut<One> complexities#1219
GiggleLiu merged 8 commits into
mainfrom
feat/complexity-consistency-audit

Clarify audit guarantees and decoding resource bounds

22b3c0b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar