Repository navigation

refactor(Complexity/XORSAT): name the XORSAT problem set and polynomial-time certificates - #4792

Merged

SamuelSchlesinger merged 1 commit into

mainfrom

refactor/cx-xorsat-named-set

Nov 12, 2026

Merged

refactor(Complexity/XORSAT): name the XORSAT problem set and polynomial-time certificates#4792
SamuelSchlesinger merged 1 commit into
mainfrom
refactor/cx-xorsat-named-set

Commits on Nov 12, 2026
- refactor(Complexity/XORSAT): name the XORSAT problem set and polynomial-time certificates
  copositive
  committed
  7ca52d3