Advertisement
Guest User

Untitled

a guest
Jun 20th, 2019
61
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.49 KB | None | 0 0
  1. include "globals.mzn";
  2. int: TOTAL = 49;
  3. array[1..3,1..3] of var 1..TOTAL-3: x;
  4. constraint x[2,2] = 21;
  5. constraint alldifferent([x[i,j] | i in 1..3, j in 1..3]);
  6. constraint forall(i in 1..3)(sum(j in 1..3)(x[i,j]) = TOTAL);
  7. constraint forall(j in 1..3)(sum(i in 1..3)(x[i,j]) = TOTAL);
  8. constraint sum(i in 1..3)(x[i,i]) = TOTAL;
  9. constraint sum(i in 1..3)(x[4-i,i]) = TOTAL;
  10.  
  11. solve satisfy;
  12.  
  13. output [show([x[1,i] | i in 1..3]), "\n",
  14. show([x[2,i] | i in 1..3]), "\n",
  15. show([x[3,i] | i in 1..3]), "\n" ];
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement