Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- include "globals.mzn";
- int: TOTAL = 49;
- array[1..3,1..3] of var 1..TOTAL-3: x;
- constraint x[2,2] = 21;
- constraint alldifferent([x[i,j] | i in 1..3, j in 1..3]);
- constraint forall(i in 1..3)(sum(j in 1..3)(x[i,j]) = TOTAL);
- constraint forall(j in 1..3)(sum(i in 1..3)(x[i,j]) = TOTAL);
- constraint sum(i in 1..3)(x[i,i]) = TOTAL;
- constraint sum(i in 1..3)(x[4-i,i]) = TOTAL;
- solve satisfy;
- output [show([x[1,i] | i in 1..3]), "\n",
- show([x[2,i] | i in 1..3]), "\n",
- show([x[3,i] | i in 1..3]), "\n" ];
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement