Skip to content

feat(planar-SAT): use the parsimonious compiler for planar 3SAT-3 - #1180

Merged
SamuelSchlesinger merged 1 commit into
mainfrom
feat/parsimony-planar-endpoint
Oct 26, 2026
Merged

feat(planar-SAT): use the parsimonious compiler for planar 3SAT-3#1180
SamuelSchlesinger merged 1 commit into
mainfrom
feat/parsimony-planar-endpoint

Commits

  1. Commits on Oct 26, 2026