18 lines
1.2 KiB
MiniZinc
18 lines
1.2 KiB
MiniZinc
|
array [1..3] of int: requ = [63, 160, 85];
|
||
|
|
array [1..10] of int: value = [120, 60, 48, 30, 24, 12, 6, 4, 3, 1];
|
||
|
|
array [1..30] of var 0..1: x :: output_array([1..10, 1..3]);
|
||
|
|
constraint int_lin_eq([1, 1, 1], [x[1], x[2], x[3]], 1);
|
||
|
|
constraint int_lin_eq([1, 1, 1], [x[4], x[5], x[6]], 1);
|
||
|
|
constraint int_lin_eq([1, 1, 1], [x[7], x[8], x[9]], 1);
|
||
|
|
constraint int_lin_eq([1, 1, 1], [x[10], x[11], x[12]], 1);
|
||
|
|
constraint int_lin_eq([1, 1, 1], [x[13], x[14], x[15]], 1);
|
||
|
|
constraint int_lin_eq([1, 1, 1], [x[16], x[17], x[18]], 1);
|
||
|
|
constraint int_lin_eq([1, 1, 1], [x[19], x[20], x[21]], 1);
|
||
|
|
constraint int_lin_eq([1, 1, 1], [x[22], x[23], x[24]], 1);
|
||
|
|
constraint int_lin_eq([1, 1, 1], [x[25], x[26], x[27]], 1);
|
||
|
|
constraint int_lin_eq([1, 1, 1], [x[28], x[29], x[30]], 1);
|
||
|
|
constraint int_lin_eq([120, 60, 48, 30, 24, 12, 6, 4, 3, 1], [x[1], x[4], x[7], x[10], x[13], x[16], x[19], x[22], x[25], x[28]], 63);
|
||
|
|
constraint int_lin_eq([120, 60, 48, 30, 24, 12, 6, 4, 3, 1], [x[2], x[5], x[8], x[11], x[14], x[17], x[20], x[23], x[26], x[29]], 160);
|
||
|
|
constraint int_lin_eq([120, 60, 48, 30, 24, 12, 6, 4, 3, 1], [x[3], x[6], x[9], x[12], x[15], x[18], x[21], x[24], x[27], x[30]], 85);
|
||
|
|
solve satisfy;
|