Repository navigation

Fix #1103: ThreeDimensionalMatching to ExactCoverBy3Sets - #1226

Open

isPANN wants to merge 2 commits into

mainfrom

issue-1103-3dm-to-x3c

Open

Fix #1103: ThreeDimensionalMatching to ExactCoverBy3Sets#1226
isPANN wants to merge 2 commits into
mainfrom
issue-1103-3dm-to-x3c

Commits on Nov 2, 2026
- Add ThreeDimensionalMatching to ExactCoverBy3Sets reduction (#1103)
  isPANN
  committed
  f16ad3c
- Derive the 3DM -> X3C example's witness and uniqueness text from the fixture
  isPANN
  committed
  e88f9ac