2bac8a70
 Salvador Abreu
added some examples
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
array [1..2] of int: X_INTRODUCED_0 = [1,-1];
var 1..3: wa:: output_var;
var 1..3: nt:: output_var;
var 1..3: sa:: output_var;
var 1..3: q:: output_var;
var 1..3: nsw:: output_var;
var 1..3: v:: output_var;
var 1..3: t:: output_var;
constraint int_lin_ne(X_INTRODUCED_0,[wa,nt],0);
constraint int_lin_ne(X_INTRODUCED_0,[wa,sa],0);
constraint int_lin_ne(X_INTRODUCED_0,[nt,sa],0);
constraint int_lin_ne(X_INTRODUCED_0,[nt,q],0);
constraint int_lin_ne(X_INTRODUCED_0,[sa,q],0);
constraint int_lin_ne(X_INTRODUCED_0,[sa,nsw],0);
constraint int_lin_ne(X_INTRODUCED_0,[sa,v],0);
constraint int_lin_ne(X_INTRODUCED_0,[q,nsw],0);
constraint int_lin_ne(X_INTRODUCED_0,[nsw,v],0);
solve satisfy;
|