astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/intvar set domain #85

Closed maartenflippo closed 2 years ago

maartenflippo commented 2 years ago

This PR implements the idea of set domains. In particular, this is used for the search variables.