queens_5.fzn
2.61 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
array [1..2] of int: X_INTRODUCED_5_ = [1,-1];
var 1..5: X_INTRODUCED_0_;
var 1..5: X_INTRODUCED_1_;
var 1..5: X_INTRODUCED_2_;
var 1..5: X_INTRODUCED_3_;
var 1..5: X_INTRODUCED_4_;
array [1..5] of var int: q:: output_array([1..5]) = [X_INTRODUCED_0_,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_];
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_0_,X_INTRODUCED_1_],0);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_0_,X_INTRODUCED_1_],1);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_0_,X_INTRODUCED_1_],-1);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_0_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_0_,X_INTRODUCED_2_],2);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_0_,X_INTRODUCED_2_],-2);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_0_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_0_,X_INTRODUCED_3_],3);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_0_,X_INTRODUCED_3_],-3);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_0_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_0_,X_INTRODUCED_4_],4);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_0_,X_INTRODUCED_4_],-4);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_1_,X_INTRODUCED_2_],0);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_1_,X_INTRODUCED_2_],1);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_1_,X_INTRODUCED_2_],-1);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_1_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_1_,X_INTRODUCED_3_],2);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_1_,X_INTRODUCED_3_],-2);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_1_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_1_,X_INTRODUCED_4_],3);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_1_,X_INTRODUCED_4_],-3);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_2_,X_INTRODUCED_3_],0);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_2_,X_INTRODUCED_3_],1);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_2_,X_INTRODUCED_3_],-1);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_2_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_2_,X_INTRODUCED_4_],2);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_2_,X_INTRODUCED_4_],-2);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_3_,X_INTRODUCED_4_],0);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_3_,X_INTRODUCED_4_],1);
constraint int_lin_ne(X_INTRODUCED_5_,[X_INTRODUCED_3_,X_INTRODUCED_4_],-1);
solve :: int_search(q,first_fail,indomain_min,complete) satisfy;