Skip to content

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

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

zayenz wants to merge 23 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
@zayenz
zayenz force-pushed the feature/min-distance branch 2 times, most recently from 9bb720c to 284ebae Compare October 9, 2026 06:23
@zayenz
zayenz changed the base branch from main to feature/test-tags October 9, 2026 06:23
@zayenz
zayenz force-pushed the feature/min-distance branch from 284ebae to 9213e47 Compare October 9, 2026 07:04
@zayenz
zayenz force-pushed the feature/min-distance branch from 9213e47 to 9e966bc Compare October 9, 2026 07:24
@zayenz
zayenz force-pushed the feature/min-distance branch from 9e966bc to 5e8e01b Compare October 9, 2026 12:59
@zayenz
zayenz deleted the branch main October 10, 2026 12:33
@zayenz zayenz closed this Oct 10, 2026
@zayenz zayenz reopened this Oct 10, 2026
@zayenz
zayenz changed the base branch from feature/test-tags to main October 10, 2026 18:05

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