Fixed a bug in alldiff which used getNewValue instead of getValue.

astra-uu-se / atlantis

CBLS solver

2 stars 1 forks source link

Closed GustavBjordal closed 3 years ago

GustavBjordal commented 3 years ago

Started moving to using notifyIntCanged in notifyCurrentDependencyChanged

GustavBjordal commented 3 years ago

Has this already been fixed? @frejknutarlewander

frejknutarlewander commented 3 years ago

yes, This has already been fixed

frejknutarlewander commented 3 years ago

yes