Skip to content

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

Open
zayenz wants to merge 3 commits into
mainfrom
feature/min-distance
Open

zayenz wants to merge 3 commits into
mainfrom
feature/min-distance

Conversation

@zayenz

@zayenz zayenz commented Oct 5, 2026 •

Copy link
Copy Markdown
Member

Add minimum-distance constraints over selected sites, with distances supplied by a validated matrix or a shared callable. Optional pair requirements set inclusive lower bounds on distances.

The default MDP_SINGLE organization caches pair maxima without allocating an actor for every pair. MDP_DECOMPOSED provides the alternative pairwise organization. Both support repeated sites and variable aliases; propagation is incomplete. IPL_BASIC disables the additional conflict-matching bound.

The algorithms follow Lagerkvist's ModRef 2026 paper. The existing Gecode tests cover both organizations and distance representations, including cloning and callback lifetime.

@zayenz
zayenz marked this pull request as ready for review October 6, 2026 15:31

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant