Skip to content

refactor(Complexity/Problems): migrate cycles, games, and drawings to structures (#4385) - #4672

Merged
SamuelSchlesinger merged 14 commits into
mainfrom
feat/issue-4385-cycles-drawings
Nov 12, 2026
Merged

SamuelSchlesinger merged 14 commits into
mainfrom
feat/issue-4385-cycles-drawings

Merge main after Karp landing and preserve the cycles proof return

86a9597
Select commit
Loading
Failed to load commit list.
Sign in for the full log view