astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/alldifferent neighbourhood #80

Closed maartenflippo closed 2 years ago

maartenflippo commented 2 years ago

A new branch because I screwed up the git tree.

This PR implements a neighbourhood combinator, as well as the alldifferent neighbourhood for variables with the same domain. The same domain here means the upper and lower bounds match.