Repository navigation

Add minimum-distance constraints with single and decomposed propagation - #249

Merged

zayenz merged 24 commits into

mainfrom

feature/min-distance

Oct 12, 2026

Merged

Add minimum-distance constraints with single and decomposed propagation#249
zayenz merged 24 commits into
mainfrom
feature/min-distance

Commits on Oct 9, 2026
- Add test runner tags
  zayenz
  committed
  cfd9deb
- Use test tags for check targets
  zayenz
  committed
  c474027
- Use scoped enum for test tags
  zayenz
  committed
  e71b0a8
- Document tag-based test targets
  zayenz
  committed
  cd51164
- Preserve check coverage with test tags
  zayenz
  committed
  2a0c350
- Keep exhaustive test families out of normal runs
  zayenz
  committed
  a2f5fb6
- Integrate test tags with public harness
  zayenz
  committed
  1463cce
- Declare test tags with test definitions
  zayenz
  committed
  3e5c09d
- Polish public test tag integration
  zayenz
  committed
  a489291
- Make non-default test tags explicit
  zayenz
  committed
  fe08574
- Export public test tags from shared harness
  zayenz
  committed
  3833400
- Clarify tag selection and remove obsolete test helpers
  zayenz
  committed
  5dac10e
- Exercise substantive arithmetic paths in the normal test suite
  zayenz
  committed
  9264381
- Preserve stacked tag contracts and worker-control check coverage
  zayenz
  committed
  dbba4c3
- Keep NFA regression tests in the tagged check selection
  zayenz
  committed
  ca797c1
- Remove redundant tag-selection state and unused tag removal API
  zayenz
  committed
  3659fc1
- Name the standard suite and add common test tag presets
  zayenz
  committed
  c6504e6
- Add minimum-distance constraints with single and decomposed propagation
  zayenz
  committed
  3b60259
- Track minimum-distance sources in Autoconf dependencies
  zayenz
  committed
  f5d83c4
- Declare each variable separately
  zayenz
  committed
  ea16845
- Keep minimum-distance tests in the tagged check selection
  zayenz
  committed
  5fb80d2
- Use the check preset for minimum-distance tests
  zayenz
  committed
  5e8e01b
Commits on Oct 10, 2026
- Merge main after test-tags integration
  zayenz
  committed
  b2f2cc9
Commits on Oct 12, 2026
- Align minimum-distance propagators with Gecode conventions
  zayenz
  committed
  4371bcf

Commits

Commits on Oct 9, 2026

Commits on Oct 10, 2026

Commits on Oct 12, 2026