Russ Abbott

Results 3 comments of Russ Abbott

I re-wrote the original program minimally and got a solution for n = 10 (but not n = 11). set of int: DIGIT = 1..9; par int: n; array[1..n, 1..n]...

In the previous program, if I force sol[i, j] == 1 with this constraint constraint forall(i, j in 1..n)(sol[i, j] == 1); everything is fine through n = 94. At...

Your my_product function fixed the problem. I'm using MiniZinc 2.3.2 running on Windows 10. Got the same result on two different Windows HP computers. -- Russ Abbott Professor, Computer Science...