tjh.dev / nixpkgs
nixpkgs mirror (for testing) github.com/NixOS/nixpkgs
nix
fork atom
nixpkgs / pkgs / development / tools / minizinc / simple-test / nqueens.mzn
at python-updates 9 lines 216 B view raw
1int: n = 8; % The number of queens. 2 3array [1..n] of var 1..n: q; 4 5include "alldifferent.mzn"; 6 7constraint alldifferent(q); 8constraint alldifferent(i in 1..n)(q[i] + i); 9constraint alldifferent(i in 1..n)(q[i] - i);