astra-uu-se / atlantis

CBLS solver
2 stars 1 forks source link

Feature/all different except #69

Closed frejknutarlewander closed 2 years ago

frejknutarlewander commented 2 years ago

Added AllDifferentExcept constraint.

Removed timestamp when search variables were last modified. Instead, when the current timestamp increases, then the set of modified search variables is cleared.

GustavBjordal commented 2 years ago

Maybe split this into two PRs?

frejknutarlewander commented 2 years ago

PR split into (this) PR https://github.com/astra-uu-se/cbls/pull/69 and PR https://github.com/astra-uu-se/cbls/pull/70

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