Repository navigation

AllDifferentExceptN and AllDifferentExcept0: fix naming and solver interfaces - #1122

Merged

WoutPiessens merged 4 commits into

alldifferentexcept

Oct 13, 2026

Merged

AllDifferentExceptN and AllDifferentExcept0: fix naming and solver interfaces#1122
WoutPiessens merged 4 commits into
masterfrom
alldifferentexcept

Commits on Oct 12, 2026
- AllDifferentExceptN / AllDifferentExcept0 naming and mapping
  WoutPiessens
  committed
  4699c6e
Commits on Oct 13, 2026
- Addressed comments
  WoutPiessens
  committed
  1ce727e
- Small fix
  WoutPiessens
  committed
  d052f27
- Merge remote-tracking branch 'origin/master' into alldifferentexcept
  IgnaceBleukx
  committed
  2b40de8