Skip to content

feat(planar-SAT): prove parsimonious positive exact-one hardness - #1282

Merged
SamuelSchlesinger merged 10 commits into
mainfrom
feat/positive-planar-exact-one-sat
Oct 29, 2026
Merged

feat(planar-SAT): prove parsimonious positive exact-one hardness#1282
SamuelSchlesinger merged 10 commits into
mainfrom
feat/positive-planar-exact-one-sat

fix(planar-SAT): guard the packaged parsimony targets by planarity

93331cc
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