diff --git a/fzn-parser/examples/CostasArray.fzn b/fzn-parser/examples/CostasArray.fzn new file mode 100644 index 0000000..4c5232b --- /dev/null +++ b/fzn-parser/examples/CostasArray.fzn @@ -0,0 +1,83 @@ +array [1..2] of int: X_INTRODUCED_42 = [1,-1]; +array [1..3] of int: X_INTRODUCED_45 = [1,-1,1]; +array [1..4] of int: X_INTRODUCED_70 = [1,1,-1,-1]; +var 1..6: X_INTRODUCED_0; +var 1..6: X_INTRODUCED_1; +var 1..6: X_INTRODUCED_2; +var 1..6: X_INTRODUCED_3; +var 1..6: X_INTRODUCED_4; +var 1..6: X_INTRODUCED_5; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_7:: is_defined_var; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_8:: is_defined_var; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_9:: is_defined_var; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_10:: is_defined_var; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_11:: is_defined_var; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_14:: is_defined_var; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_15:: is_defined_var; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_16:: is_defined_var; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_17:: is_defined_var; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_21:: is_defined_var; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_22:: is_defined_var; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_23:: is_defined_var; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_28:: is_defined_var; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_29:: is_defined_var; +var {-5,-4,-3,-2,-1,1,2,3,4,5}: X_INTRODUCED_35:: is_defined_var; +array [1..6] of var 1..6: costas:: output_array([1..6]) = [X_INTRODUCED_0,X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_5]; +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_0,X_INTRODUCED_1],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_0,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_0,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_0,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_0,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_1,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_1,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_1,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_1,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_2,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_2,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_2,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_3,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_3,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_4,X_INTRODUCED_5],0); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_0],0):: defines_var(X_INTRODUCED_7); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_8,X_INTRODUCED_2,X_INTRODUCED_1],0):: defines_var(X_INTRODUCED_8); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_9,X_INTRODUCED_3,X_INTRODUCED_2],0):: defines_var(X_INTRODUCED_9); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_10,X_INTRODUCED_4,X_INTRODUCED_3],0):: defines_var(X_INTRODUCED_10); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_11,X_INTRODUCED_5,X_INTRODUCED_4],0):: defines_var(X_INTRODUCED_11); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_14,X_INTRODUCED_2,X_INTRODUCED_0],0):: defines_var(X_INTRODUCED_14); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_15,X_INTRODUCED_3,X_INTRODUCED_1],0):: defines_var(X_INTRODUCED_15); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_16,X_INTRODUCED_4,X_INTRODUCED_2],0):: defines_var(X_INTRODUCED_16); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_17,X_INTRODUCED_5,X_INTRODUCED_3],0):: defines_var(X_INTRODUCED_17); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_21,X_INTRODUCED_3,X_INTRODUCED_0],0):: defines_var(X_INTRODUCED_21); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_22,X_INTRODUCED_4,X_INTRODUCED_1],0):: defines_var(X_INTRODUCED_22); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_23,X_INTRODUCED_5,X_INTRODUCED_2],0):: defines_var(X_INTRODUCED_23); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_28,X_INTRODUCED_4,X_INTRODUCED_0],0):: defines_var(X_INTRODUCED_28); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_29,X_INTRODUCED_5,X_INTRODUCED_1],0):: defines_var(X_INTRODUCED_29); +constraint int_lin_eq(X_INTRODUCED_45,[X_INTRODUCED_35,X_INTRODUCED_5,X_INTRODUCED_0],0):: defines_var(X_INTRODUCED_35); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_7,X_INTRODUCED_8],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_7,X_INTRODUCED_9],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_7,X_INTRODUCED_10],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_7,X_INTRODUCED_11],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_8,X_INTRODUCED_9],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_8,X_INTRODUCED_10],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_8,X_INTRODUCED_11],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_9,X_INTRODUCED_10],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_9,X_INTRODUCED_11],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_10,X_INTRODUCED_11],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_14,X_INTRODUCED_15],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_14,X_INTRODUCED_16],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_14,X_INTRODUCED_17],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_15,X_INTRODUCED_16],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_15,X_INTRODUCED_17],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_16,X_INTRODUCED_17],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_21,X_INTRODUCED_22],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_21,X_INTRODUCED_23],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_22,X_INTRODUCED_23],0); +constraint int_lin_ne(X_INTRODUCED_42,[X_INTRODUCED_28,X_INTRODUCED_29],0); +constraint int_lin_le(X_INTRODUCED_42,[X_INTRODUCED_0,X_INTRODUCED_5],-1); +constraint int_lin_eq(X_INTRODUCED_70,[X_INTRODUCED_8,X_INTRODUCED_21,X_INTRODUCED_14,X_INTRODUCED_15],0); +constraint int_lin_eq(X_INTRODUCED_70,[X_INTRODUCED_9,X_INTRODUCED_22,X_INTRODUCED_15,X_INTRODUCED_16],0); +constraint int_lin_eq(X_INTRODUCED_70,[X_INTRODUCED_10,X_INTRODUCED_23,X_INTRODUCED_16,X_INTRODUCED_17],0); +constraint int_lin_eq(X_INTRODUCED_70,[X_INTRODUCED_15,X_INTRODUCED_28,X_INTRODUCED_21,X_INTRODUCED_22],0); +constraint int_lin_eq(X_INTRODUCED_70,[X_INTRODUCED_16,X_INTRODUCED_29,X_INTRODUCED_22,X_INTRODUCED_23],0); +constraint int_lin_eq(X_INTRODUCED_70,[X_INTRODUCED_22,X_INTRODUCED_35,X_INTRODUCED_28,X_INTRODUCED_29],0); +solve :: int_search(costas,input_order,indomain_min,complete) satisfy; diff --git a/fzn-parser/examples/aust.fzn b/fzn-parser/examples/aust.fzn new file mode 100644 index 0000000..d29430f --- /dev/null +++ b/fzn-parser/examples/aust.fzn @@ -0,0 +1,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; diff --git a/fzn-parser/examples/aust.mzn b/fzn-parser/examples/aust.mzn new file mode 100644 index 0000000..2fba70c --- /dev/null +++ b/fzn-parser/examples/aust.mzn @@ -0,0 +1,21 @@ +% Colouring Australia using nc colours +int: nc = 3; + +var 1..nc: wa; var 1..nc: nt; var 1..nc: sa; var 1..nc: q; +var 1..nc: nsw; var 1..nc: v; var 1..nc: t; + +constraint wa != nt; +constraint wa != sa; +constraint nt != sa; +constraint nt != q; +constraint sa != q; +constraint sa != nsw; +constraint sa != v; +constraint q != nsw; +constraint nsw != v; +solve satisfy; + +output ["wa=", show(wa), "\t nt=", show(nt), + "\t sa=", show(sa), "\n", "q=", show(q), + "\t nsw=", show(nsw), "\t v=", show(v), "\n", + "t=", show(t), "\n"]; diff --git a/fzn-parser/examples/aust.ozn b/fzn-parser/examples/aust.ozn new file mode 100644 index 0000000..c923fb0 --- /dev/null +++ b/fzn-parser/examples/aust.ozn @@ -0,0 +1,8 @@ +output ["wa=",show(wa),"\t nt=",show(nt),"\t sa=",show(sa),"\n","q=",show(q),"\t nsw=",show(nsw),"\t v=",show(v),"\n","t=",show(t),"\n"]; +int: wa; +int: nt; +int: sa; +int: q; +int: nsw; +int: v; +int: t; diff --git a/fzn-parser/examples/golomb.fzn b/fzn-parser/examples/golomb.fzn new file mode 100644 index 0000000..21f0cf1 --- /dev/null +++ b/fzn-parser/examples/golomb.fzn @@ -0,0 +1,386 @@ +array [1..2] of int: X_INTRODUCED_8 = [1,-1]; +array [1..3] of int: X_INTRODUCED_37 = [2,-1,-1]; +array [1..4] of int: X_INTRODUCED_38 = [1,-1,-1,1]; +array [1..2] of int: X_INTRODUCED_39 = [-1,1]; +var 0..64: X_INTRODUCED_1; +var 0..64: X_INTRODUCED_2; +var 0..64: X_INTRODUCED_3; +var 0..64: X_INTRODUCED_4; +var 0..64: X_INTRODUCED_5; +var 0..64: X_INTRODUCED_6; +var 0..64: X_INTRODUCED_7; +var -64..64: X_INTRODUCED_9 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_10 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_11 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_12 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_13 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_14 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_15 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_16 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_17 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_18 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_19 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_20 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_21 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_22 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_23 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_24 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_25 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_26 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_27 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_28 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_29 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_30 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_31 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_32 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_33 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_34 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_35 ::var_is_introduced :: is_defined_var; +var -64..64: X_INTRODUCED_36 ::var_is_introduced :: is_defined_var; +array [1..8] of var 0..64: mark:: output_array([1..8]) = [0,X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_7]; +array [1..28] of var 0..64: differences = [X_INTRODUCED_9,X_INTRODUCED_10,X_INTRODUCED_11,X_INTRODUCED_12,X_INTRODUCED_13,X_INTRODUCED_14,X_INTRODUCED_15,X_INTRODUCED_16,X_INTRODUCED_17,X_INTRODUCED_18,X_INTRODUCED_19,X_INTRODUCED_20,X_INTRODUCED_21,X_INTRODUCED_22,X_INTRODUCED_23,X_INTRODUCED_24,X_INTRODUCED_25,X_INTRODUCED_26,X_INTRODUCED_27,X_INTRODUCED_28,X_INTRODUCED_29,X_INTRODUCED_30,X_INTRODUCED_31,X_INTRODUCED_32,X_INTRODUCED_33,X_INTRODUCED_34,X_INTRODUCED_35,X_INTRODUCED_36]; +constraint int_lin_le([-1],[X_INTRODUCED_1],-1); +constraint int_lin_le(X_INTRODUCED_8,[X_INTRODUCED_1,X_INTRODUCED_2],-1); +constraint int_lin_le(X_INTRODUCED_8,[X_INTRODUCED_2,X_INTRODUCED_3],-1); +constraint int_lin_le(X_INTRODUCED_8,[X_INTRODUCED_3,X_INTRODUCED_4],-1); +constraint int_lin_le(X_INTRODUCED_8,[X_INTRODUCED_4,X_INTRODUCED_5],-1); +constraint int_lin_le(X_INTRODUCED_8,[X_INTRODUCED_5,X_INTRODUCED_6],-1); +constraint int_lin_le(X_INTRODUCED_8,[X_INTRODUCED_6,X_INTRODUCED_7],-1); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_1,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_1,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_1,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_1,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_1,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_1,X_INTRODUCED_7],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_1,X_INTRODUCED_2],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_1,X_INTRODUCED_3],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_1,X_INTRODUCED_4],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_1,X_INTRODUCED_5],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_1,X_INTRODUCED_6],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_1,X_INTRODUCED_7],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_4],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_4],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_4],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_2,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_2,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_2,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_2,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_2,X_INTRODUCED_7],0); +constraint int_lin_ne([1],[X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_3,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_1],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_2,X_INTRODUCED_3],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_2,X_INTRODUCED_4],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_2,X_INTRODUCED_5],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_2,X_INTRODUCED_6],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_2,X_INTRODUCED_7],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_4],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_4],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_4],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_3,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_3,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_3,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_3,X_INTRODUCED_7],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_1],0); +constraint int_lin_ne([1],[X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_2],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_3,X_INTRODUCED_4],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_3,X_INTRODUCED_5],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_3,X_INTRODUCED_6],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_3,X_INTRODUCED_7],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_4],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_4],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_4],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_4,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_4,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_4,X_INTRODUCED_7],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_6,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_6,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_2],0); +constraint int_lin_ne([1],[X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_6,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_3],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_4,X_INTRODUCED_5],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_4,X_INTRODUCED_6],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_4,X_INTRODUCED_7],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_5,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_5,X_INTRODUCED_7],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_3],0); +constraint int_lin_ne([1],[X_INTRODUCED_4],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_4],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_4],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_5,X_INTRODUCED_6],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_5,X_INTRODUCED_7],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_5,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_8,[X_INTRODUCED_6,X_INTRODUCED_7],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_3,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_4,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_5,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_3,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_4,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_5,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_4,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_5,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_5,X_INTRODUCED_4],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_4],0); +constraint int_lin_ne([1],[X_INTRODUCED_5],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne([2,-1],[X_INTRODUCED_6,X_INTRODUCED_7],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_3,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_4,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_5,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_6,X_INTRODUCED_1],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_3,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_4,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_5,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_6,X_INTRODUCED_2],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_4,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_5,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_6,X_INTRODUCED_3],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_5,X_INTRODUCED_4],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_6,X_INTRODUCED_4],0); +constraint int_lin_ne([1,-1,1],[X_INTRODUCED_7,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne([1],[X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_1,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_1,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_1,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_1,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_3,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_2],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_4,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_5,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_1,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_2,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_2,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_2,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_4,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_3],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_5,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_2,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_3,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_3,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_3,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_3,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_3,X_INTRODUCED_5,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_4],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_3,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_3,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_4,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_6,X_INTRODUCED_4,X_INTRODUCED_7,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_4,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_38,[X_INTRODUCED_7,X_INTRODUCED_4,X_INTRODUCED_6,X_INTRODUCED_5],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_4,X_INTRODUCED_6],0); +constraint int_lin_ne(X_INTRODUCED_37,[X_INTRODUCED_6,X_INTRODUCED_5,X_INTRODUCED_7],0); +constraint int_lin_ne(X_INTRODUCED_39,[X_INTRODUCED_5,X_INTRODUCED_6],0); +constraint int_lin_le([1,-1,1],[X_INTRODUCED_1,X_INTRODUCED_7,X_INTRODUCED_6],-1); +constraint int_lin_eq([1,-1],[X_INTRODUCED_1,X_INTRODUCED_9],0):: defines_var(X_INTRODUCED_9); +constraint int_lin_eq([1,-1],[X_INTRODUCED_2,X_INTRODUCED_10],0):: defines_var(X_INTRODUCED_10); +constraint int_lin_eq([1,-1],[X_INTRODUCED_3,X_INTRODUCED_11],0):: defines_var(X_INTRODUCED_11); +constraint int_lin_eq([1,-1],[X_INTRODUCED_4,X_INTRODUCED_12],0):: defines_var(X_INTRODUCED_12); +constraint int_lin_eq([1,-1],[X_INTRODUCED_5,X_INTRODUCED_13],0):: defines_var(X_INTRODUCED_13); +constraint int_lin_eq([1,-1],[X_INTRODUCED_6,X_INTRODUCED_14],0):: defines_var(X_INTRODUCED_14); +constraint int_lin_eq([1,-1],[X_INTRODUCED_7,X_INTRODUCED_15],0):: defines_var(X_INTRODUCED_15); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_16],0):: defines_var(X_INTRODUCED_16); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_3,X_INTRODUCED_1,X_INTRODUCED_17],0):: defines_var(X_INTRODUCED_17); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_4,X_INTRODUCED_1,X_INTRODUCED_18],0):: defines_var(X_INTRODUCED_18); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5,X_INTRODUCED_1,X_INTRODUCED_19],0):: defines_var(X_INTRODUCED_19); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6,X_INTRODUCED_1,X_INTRODUCED_20],0):: defines_var(X_INTRODUCED_20); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7,X_INTRODUCED_1,X_INTRODUCED_21],0):: defines_var(X_INTRODUCED_21); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_3,X_INTRODUCED_2,X_INTRODUCED_22],0):: defines_var(X_INTRODUCED_22); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_4,X_INTRODUCED_2,X_INTRODUCED_23],0):: defines_var(X_INTRODUCED_23); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5,X_INTRODUCED_2,X_INTRODUCED_24],0):: defines_var(X_INTRODUCED_24); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6,X_INTRODUCED_2,X_INTRODUCED_25],0):: defines_var(X_INTRODUCED_25); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7,X_INTRODUCED_2,X_INTRODUCED_26],0):: defines_var(X_INTRODUCED_26); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_4,X_INTRODUCED_3,X_INTRODUCED_27],0):: defines_var(X_INTRODUCED_27); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5,X_INTRODUCED_3,X_INTRODUCED_28],0):: defines_var(X_INTRODUCED_28); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6,X_INTRODUCED_3,X_INTRODUCED_29],0):: defines_var(X_INTRODUCED_29); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7,X_INTRODUCED_3,X_INTRODUCED_30],0):: defines_var(X_INTRODUCED_30); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_31],0):: defines_var(X_INTRODUCED_31); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6,X_INTRODUCED_4,X_INTRODUCED_32],0):: defines_var(X_INTRODUCED_32); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7,X_INTRODUCED_4,X_INTRODUCED_33],0):: defines_var(X_INTRODUCED_33); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_6,X_INTRODUCED_5,X_INTRODUCED_34],0):: defines_var(X_INTRODUCED_34); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7,X_INTRODUCED_5,X_INTRODUCED_35],0):: defines_var(X_INTRODUCED_35); +constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_7,X_INTRODUCED_6,X_INTRODUCED_36],0):: defines_var(X_INTRODUCED_36); +solve :: int_search(mark,input_order,indomain,complete) minimize X_INTRODUCED_7; -- libgit2 0.21.2