Skip to content

feat(planar-SAT): certify paired wires and unique gadget extensions - #1174

Merged
SamuelSchlesinger merged 5 commits into
mainfrom
feat/parsimony-paired-gadgets
Oct 26, 2026
Merged

feat(planar-SAT): certify paired wires and unique gadget extensions#1174
SamuelSchlesinger merged 5 commits into
mainfrom
feat/parsimony-paired-gadgets

Merge origin/main after base squash (coordinator restack)

05c4637
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors
Job log options

This job was cancelled