Fix GCD calculation for Boolean reified linear constraints.

Author: guidotack

changelog.in

@@ -69,6 +69,13 @@ Date: 2020-??-??
 [DESCRIPTION]
 Let's see.
 
+[ENTRY]
+Module: int
+What:   bug
+Rank:   minor
+[DESCRIPTION]
+Fix GCD calculation for Boolean reified linear constraints.
+
 [ENTRY]
 Module: flatzinc
 What:   change

gecode/int/linear/bool-post.cpp

@@ -651,7 +651,7 @@ namespace Gecode { namespace Int { namespace Linear {
         d /= gcd;
         break;
       case IRT_NQ:
-        if ((d % gcd) == 0) {
+        if ((d % gcd) != 0) {
           if (r.mode() != RM_IMP)
             GECODE_ME_FAIL(BoolView(r.var()).one(home));
           return;