this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn20_fd_linear
4% RUNS ON mzn20_mip
5
6% n-queens example in Zinc using CP techniques
7% By Reza Rafeh July 2005
8% MiniZinc version
9% Peter Stuckey September 30 2006
10
11int: n = 8;
12
13array [1..n] of var 1..n: q;
14
15
16constraint
17 alldifferent(q) % rows
18 /\
19 alldifferent(i in 1..n)(q[i] + i-1) % diagonals
20 /\
21 alldifferent(i in 1..n)(q[i] + n-i);
22
23constraint q[1] = 2;
24%constraint q[2] = 1;
25
26include "alldifferent.mzn";
27
28
29solve ::
30 int_search(
31 q,
32 first_fail,
33 indomain_min,
34 complete
35 )
36 satisfy;
37
38output ["8 queens, CP version:\n"] ++
39 [ if fix(q[i]) = j then "Q " else ". " endif ++
40 if j = n then "\n" else "" endif
41 | i, j in 1..n
42 ];