Repository navigation

Fix #1099: [Rule] KColoring to Satisfiability - #1228

Open

isPANN wants to merge 2 commits into

mainfrom

issue-1099-kcoloring-sat

Open

Fix #1099: [Rule] KColoring to Satisfiability#1228
isPANN wants to merge 2 commits into
mainfrom
issue-1099-kcoloring-sat

Commits on Nov 2, 2026
- Add pairwise one-hot coloring reduction to SAT
  isPANN
  committed
  4793e6a
- Derive KColoring to SAT paper example facts from the fixture
  isPANN
  committed
  0178e25