Fix redefinition of alldifferent

astra-uu-se / atlantis

CBLS solver

2 stars 1 forks source link

Fix redefinition of alldifferent #114

Closed maartenflippo closed 2 years ago

maartenflippo commented 2 years ago

Supported globals must be prepended with an "fzn_" prefix. This PR also fixes an edge case where the implicit constraint for all different only has one variable.