Repository navigation

Fix #1095: [Rule] MinimumDominatingSet/i32 to MinimumSetCovering/i32 - #1230

Open

isPANN wants to merge 1 commit into

mainfrom

issue-1095-dominating-set-cover

Open

Fix #1095: [Rule] MinimumDominatingSet/i32 to MinimumSetCovering/i32#1230
isPANN wants to merge 1 commit into
mainfrom
issue-1095-dominating-set-cover

Commits on Nov 3, 2026
- Add dominating set to set covering reduction
  isPANN
  committed
  e6653ca