astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/gcc #71

Closed frejknutarlewander closed 2 years ago

frejknutarlewander commented 2 years ago

A commented-out test in this PR depends on PR https://github.com/astra-uu-se/cbls/pull/70

This is the implementation of the Global Cardinality Constraints (https://www.minizinc.org/doc-2.5.3/en/lib-globals.html#index-27). The implementation is heavily based on the implementation of the AllDifferent constraint The template bool variable IsClosed denotes if the variables must take the values in the cover or not.