corrected examples
This commit is contained in:
lperron@google.com
@@ -1,7 +1,11 @@
|
||||
predicate all_different_int(array [int] of var int: x);
|
||||
predicate count(array [int] of var int: x, var int: y, var int: c);
|
||||
predicate count_eq(array [int] of var int: x, var int: y, var int: c);
|
||||
predicate count_reif(array [int] of var int: x, var int: y, var int: c, var bool: b);
|
||||
predicate fixed_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, int: b);
|
||||
predicate global_cardinality(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);
|
||||
predicate global_cardinality_closed(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);
|
||||
predicate global_cardinality_low_up(array [int] of var int: x, array [int] of int: cover, array [int] of int: lbound, array [int] of int: ubound);
|
||||
predicate global_cardinality_low_up_closed(array [int] of var int: x, array [int] of int: cover, array [int] of int: lbound, array [int] of int: ubound);
|
||||
predicate maximum_int(var int: m, array [int] of var int: x);
|
||||
predicate minimum_int(var int: m, array [int] of var int: x);
|
||||
predicate sliding_sum(int: low, int: up, int: seq, array [int] of var int: vs);
|
||||
@@ -229,4 +233,4 @@ constraint int_ne(bin_code[23], bin_code[24]);
|
||||
constraint int_ne(bin_code[24], bin_code[25]);
|
||||
constraint int_ne(bin_code[25], bin_code[26]);
|
||||
constraint int_ne(bin_code[26], bin_code[27]);
|
||||
solve :: int_search(x, first_fail, indomain_split, credit(5, bbs(1))) satisfy;
|
||||
solve :: int_search([x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[25], x[26], x[27], bin_code[1], bin_code[2], bin_code[3], bin_code[4], bin_code[5], bin_code[6], bin_code[7], bin_code[8], bin_code[9], bin_code[10], bin_code[11], bin_code[12], bin_code[13], bin_code[14], bin_code[15], bin_code[16], bin_code[17], bin_code[18], bin_code[19], bin_code[20], bin_code[21], bin_code[22], bin_code[23], bin_code[24], bin_code[25], bin_code[26], bin_code[27]], first_fail, indomain_split, credit(5, bbs(1))) satisfy;
|
||||
|
||||
@@ -1,9 +1,14 @@
|
||||
predicate all_different_int(array [int] of var int: x);
|
||||
predicate count(array [int] of var int: x, var int: y, var int: c);
|
||||
predicate count_eq(array [int] of var int: x, var int: y, var int: c);
|
||||
predicate count_reif(array [int] of var int: x, var int: y, var int: c, var bool: b);
|
||||
predicate fixed_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, int: b);
|
||||
predicate global_cardinality(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);
|
||||
predicate global_cardinality_closed(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);
|
||||
predicate global_cardinality_low_up(array [int] of var int: x, array [int] of int: cover, array [int] of int: lbound, array [int] of int: ubound);
|
||||
predicate global_cardinality_low_up_closed(array [int] of var int: x, array [int] of int: cover, array [int] of int: lbound, array [int] of int: ubound);
|
||||
predicate maximum_int(var int: m, array [int] of var int: x);
|
||||
predicate minimum_int(var int: m, array [int] of var int: x);
|
||||
predicate sliding_sum(int: low, int: up, int: seq, array [int] of var int: vs);
|
||||
predicate sort(array [int] of var int: x, array [int] of var int: y);
|
||||
predicate table_bool(array [int] of var bool: x, array [int, int] of bool: t);
|
||||
predicate table_int(array [int] of var int: x, array [int, int] of int: t);
|
||||
@@ -2890,4 +2895,4 @@ constraint int_ne_reif(x[237], x[221], BOOL____01334) :: defines_var(BOOL____013
|
||||
constraint int_ne_reif(x[238], x[222], BOOL____01336) :: defines_var(BOOL____01336);
|
||||
constraint int_ne_reif(x[239], x[223], BOOL____01338) :: defines_var(BOOL____01338);
|
||||
constraint int_ne_reif(x[240], x[224], BOOL____01340) :: defines_var(BOOL____01340);
|
||||
solve :: int_search([x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64], x[65], x[66], x[67], x[68], x[69], x[70], x[71], x[72], x[73], x[74], x[75], x[76], x[77], x[78], x[79], x[80], x[81], x[82], x[83], x[84], x[85], x[86], x[87], x[88], x[89], x[90], x[91], x[92], x[93], x[94], x[95], x[96], x[97], x[98], x[99], x[100], x[101], x[102], x[103], x[104], x[105], x[106], x[107], x[108], x[109], x[110], x[111], x[112], x[113], x[114], x[115], x[116], x[117], x[118], x[119], x[120], x[121], x[122], x[123], x[124], x[125], x[126], x[127], x[128], x[129], x[130], x[131], x[132], x[133], x[134], x[135], x[136], x[137], x[138], x[139], x[140], x[141], x[142], x[143], x[144], x[145], x[146], x[147], x[148], x[149], x[150], x[151], x[152], x[153], x[154], x[155], x[156], x[157], x[158], x[159], x[160], x[161], x[162], x[163], x[164], x[165], x[166], x[167], x[168], x[169], x[170], x[171], x[172], x[173], x[174], x[175], x[176], x[177], x[178], x[179], x[180], x[181], x[182], x[183], x[184], x[185], x[186], x[187], x[188], x[189], x[190], x[191], x[192], x[193], x[194], x[195], x[196], x[197], x[198], x[199], x[200], x[201], x[202], x[203], x[204], x[205], x[206], x[207], x[208], x[209], x[210], x[211], x[212], x[213], x[214], x[215], x[216], x[217], x[218], x[219], x[220], x[221], x[222], x[223], x[224], x[225], x[226], x[227], x[228], x[229], x[230], x[231], x[232], x[233], x[234], x[235], x[236], x[237], x[238], x[239], x[240], moves[1], moves[2], moves[3], moves[4], moves[5], moves[6], moves[7], moves[8], moves[9], moves[10], moves[11], moves[12], moves[13], moves[14], moves[15], moves[16], moves[17], moves[18], moves[19], moves[20], moves[21], moves[22], moves[23], moves[24], moves[25], moves[26], moves[27], moves[28], moves[29], moves[30], 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0], most_constrained, indomain_min, complete) minimize check_ix;
|
||||
solve :: int_search([x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[17], x[18], x[19], x[20], x[21], x[22], x[23], x[24], x[25], x[26], x[27], x[28], x[29], x[30], x[31], x[32], x[33], x[34], x[35], x[36], x[37], x[38], x[39], x[40], x[41], x[42], x[43], x[44], x[45], x[46], x[47], x[48], x[49], x[50], x[51], x[52], x[53], x[54], x[55], x[56], x[57], x[58], x[59], x[60], x[61], x[62], x[63], x[64], x[65], x[66], x[67], x[68], x[69], x[70], x[71], x[72], x[73], x[74], x[75], x[76], x[77], x[78], x[79], x[80], x[81], x[82], x[83], x[84], x[85], x[86], x[87], x[88], x[89], x[90], x[91], x[92], x[93], x[94], x[95], x[96], x[97], x[98], x[99], x[100], x[101], x[102], x[103], x[104], x[105], x[106], x[107], x[108], x[109], x[110], x[111], x[112], x[113], x[114], x[115], x[116], x[117], x[118], x[119], x[120], x[121], x[122], x[123], x[124], x[125], x[126], x[127], x[128], x[129], x[130], x[131], x[132], x[133], x[134], x[135], x[136], x[137], x[138], x[139], x[140], x[141], x[142], x[143], x[144], x[145], x[146], x[147], x[148], x[149], x[150], x[151], x[152], x[153], x[154], x[155], x[156], x[157], x[158], x[159], x[160], x[161], x[162], x[163], x[164], x[165], x[166], x[167], x[168], x[169], x[170], x[171], x[172], x[173], x[174], x[175], x[176], x[177], x[178], x[179], x[180], x[181], x[182], x[183], x[184], x[185], x[186], x[187], x[188], x[189], x[190], x[191], x[192], x[193], x[194], x[195], x[196], x[197], x[198], x[199], x[200], x[201], x[202], x[203], x[204], x[205], x[206], x[207], x[208], x[209], x[210], x[211], x[212], x[213], x[214], x[215], x[216], x[217], x[218], x[219], x[220], x[221], x[222], x[223], x[224], x[225], x[226], x[227], x[228], x[229], x[230], x[231], x[232], x[233], x[234], x[235], x[236], x[237], x[238], x[239], x[240], moves[1], moves[2], moves[3], moves[4], moves[5], moves[6], moves[7], moves[8], moves[9], moves[10], moves[11], moves[12], moves[13], moves[14], moves[15], moves[16], moves[17], moves[18], moves[19], moves[20], moves[21], moves[22], moves[23], moves[24], moves[25], moves[26], moves[27], moves[28], moves[29], moves[30], operations[1], operations[2], operations[3], operations[4], operations[5], operations[6], operations[7], operations[8], operations[9], operations[10], operations[11], operations[12], operations[13], operations[14], operations[15], 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0], largest, indomain_min, complete) minimize check_ix;
|
||||
|
||||
@@ -1,7 +1,11 @@
|
||||
predicate all_different_int(array [int] of var int: x);
|
||||
predicate count(array [int] of var int: x, var int: y, var int: c);
|
||||
predicate count_eq(array [int] of var int: x, var int: y, var int: c);
|
||||
predicate count_reif(array [int] of var int: x, var int: y, var int: c, var bool: b);
|
||||
predicate fixed_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, int: b);
|
||||
predicate global_cardinality(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);
|
||||
predicate global_cardinality_closed(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);
|
||||
predicate global_cardinality_low_up(array [int] of var int: x, array [int] of int: cover, array [int] of int: lbound, array [int] of int: ubound);
|
||||
predicate global_cardinality_low_up_closed(array [int] of var int: x, array [int] of int: cover, array [int] of int: lbound, array [int] of int: ubound);
|
||||
predicate maximum_int(var int: m, array [int] of var int: x);
|
||||
predicate minimum_int(var int: m, array [int] of var int: x);
|
||||
predicate sliding_sum(int: low, int: up, int: seq, array [int] of var int: vs);
|
||||
@@ -10,165 +14,50 @@ predicate table_bool(array [int] of var bool: x, array [int, int] of bool: t);
|
||||
predicate table_int(array [int] of var int: x, array [int, int] of int: t);
|
||||
predicate var_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, var int: b);
|
||||
array [1..361] of int: scores = [0, 30, 10, 33, 49, 50, 38, 32, 92, 61, 31, 22, 31, 55, 26, 19, 21, 61, 14, 30, 0, 21, 23, 10, 33, 28, 15, 22, 22, 36, 33, 36, 38, 36, 24, 26, 22, 55, 10, 21, 0, 10, 22, 26, 10, 22, 10, 41, 26, 52, 21, 24, 21, 33, 33, 10, 33, 33, 23, 10, 0, 24, 25, 37, 24, 36, 36, 22, 22, 22, 22, 22, 10, 13, 36, 10, 49, 10, 22, 24, 0, 41, 55, 42, 57, 57, 16, 15, 21, 69, 16, 33, 31, 57, 23, 50, 33, 26, 25, 41, 0, 25, 19, 53, 53, 44, 33, 39, 61, 34, 27, 30, 53, 22, 38, 28, 10, 37, 55, 25, 0, 29, 36, 36, 22, 22, 44, 58, 22, 32, 18, 36, 10, 32, 15, 22, 24, 42, 19, 29, 0, 30, 30, 16, 10, 16, 21, 11, 59, 36, 61, 45, 92, 22, 10, 36, 57, 53, 36, 30, 0, 69, 28, 27, 33, 50, 28, 21, 19, 69, 11, 61, 22, 41, 36, 57, 53, 36, 30, 69, 0, 28, 27, 33, 50, 28, 21, 19, 69, 11, 31, 36, 26, 22, 16, 44, 22, 16, 28, 28, 0, 33, 42, 39, 37, 30, 27, 28, 25, 22, 33, 52, 22, 15, 33, 22, 10, 27, 27, 33, 0, 38, 36, 38, 26, 21, 27, 21, 31, 36, 21, 22, 21, 39, 44, 16, 33, 33, 42, 38, 0, 39, 42, 57, 27, 33, 25, 55, 38, 24, 22, 69, 61, 58, 21, 50, 50, 39, 36, 39, 0, 34, 27, 32, 50, 22, 26, 36, 21, 22, 16, 34, 22, 11, 28, 28, 37, 38, 42, 34, 0, 30, 22, 28, 25, 19, 24, 33, 10, 33, 27, 32, 59, 21, 21, 30, 26, 57, 27, 30, 0, 39, 52, 37, 21, 26, 33, 13, 31, 30, 18, 36, 19, 19, 27, 21, 27, 32, 22, 39, 0, 19, 34, 61, 22, 10, 36, 57, 53, 36, 61, 69, 69, 28, 27, 33, 50, 28, 52, 19, 0, 11, 14, 55, 33, 10, 23, 22, 10, 45, 11, 11, 25, 21, 25, 22, 25, 37, 34, 11, 0];
|
||||
var bool: BOOL____00003 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00005 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00006 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00008 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00009 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00011 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00012 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00014 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00015 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00017 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00018 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00020 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00021 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00023 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00024 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00026 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00027 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00029 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00030 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00032 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00033 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00035 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00036 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00038 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00039 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00041 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00042 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00044 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00045 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00047 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00048 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00050 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00051 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00053 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00054 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00056 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00057 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00059 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00060 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00061 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00062 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00063 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00064 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00065 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00066 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00067 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00068 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00069 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00070 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00071 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00072 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00073 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00074 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00075 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00076 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00077 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00078 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00079 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00080 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00081 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00082 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00083 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00084 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00085 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00086 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00087 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00088 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00089 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00090 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00091 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00092 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00093 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00094 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00095 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00096 :: is_defined_var :: var_is_introduced;
|
||||
var bool: BOOL____00097 :: is_defined_var :: var_is_introduced;
|
||||
var 0..1748: INT____00001 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00004 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00007 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00010 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00013 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00016 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00019 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00022 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00025 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00028 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00031 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00034 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00037 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00040 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00043 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00046 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00049 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00052 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00055 :: is_defined_var :: var_is_introduced;
|
||||
var 1..19: INT____00058 :: is_defined_var :: var_is_introduced;
|
||||
var 20..38: INT____00117 :: is_defined_var :: var_is_introduced;
|
||||
var 39..57: INT____00119 :: is_defined_var :: var_is_introduced;
|
||||
var 58..76: INT____00121 :: is_defined_var :: var_is_introduced;
|
||||
var 77..95: INT____00123 :: is_defined_var :: var_is_introduced;
|
||||
var 96..114: INT____00125 :: is_defined_var :: var_is_introduced;
|
||||
var 115..133: INT____00127 :: is_defined_var :: var_is_introduced;
|
||||
var 134..152: INT____00129 :: is_defined_var :: var_is_introduced;
|
||||
var 153..171: INT____00131 :: is_defined_var :: var_is_introduced;
|
||||
var 172..190: INT____00133 :: is_defined_var :: var_is_introduced;
|
||||
var 191..209: INT____00135 :: is_defined_var :: var_is_introduced;
|
||||
var 210..228: INT____00137 :: is_defined_var :: var_is_introduced;
|
||||
var 229..247: INT____00139 :: is_defined_var :: var_is_introduced;
|
||||
var 248..266: INT____00141 :: is_defined_var :: var_is_introduced;
|
||||
var 267..285: INT____00143 :: is_defined_var :: var_is_introduced;
|
||||
var 286..304: INT____00145 :: is_defined_var :: var_is_introduced;
|
||||
var 305..323: INT____00147 :: is_defined_var :: var_is_introduced;
|
||||
var 324..342: INT____00149 :: is_defined_var :: var_is_introduced;
|
||||
var 343..361: INT____00151 :: is_defined_var :: var_is_introduced;
|
||||
array [1..19] of var 1..19: order____00002;
|
||||
var 20..38: INT____00021 :: is_defined_var :: var_is_introduced;
|
||||
var 39..57: INT____00023 :: is_defined_var :: var_is_introduced;
|
||||
var 58..76: INT____00025 :: is_defined_var :: var_is_introduced;
|
||||
var 77..95: INT____00027 :: is_defined_var :: var_is_introduced;
|
||||
var 96..114: INT____00029 :: is_defined_var :: var_is_introduced;
|
||||
var 115..133: INT____00031 :: is_defined_var :: var_is_introduced;
|
||||
var 134..152: INT____00033 :: is_defined_var :: var_is_introduced;
|
||||
var 153..171: INT____00035 :: is_defined_var :: var_is_introduced;
|
||||
var 172..190: INT____00037 :: is_defined_var :: var_is_introduced;
|
||||
var 191..209: INT____00039 :: is_defined_var :: var_is_introduced;
|
||||
var 210..228: INT____00041 :: is_defined_var :: var_is_introduced;
|
||||
var 229..247: INT____00043 :: is_defined_var :: var_is_introduced;
|
||||
var 248..266: INT____00045 :: is_defined_var :: var_is_introduced;
|
||||
var 267..285: INT____00047 :: is_defined_var :: var_is_introduced;
|
||||
var 286..304: INT____00049 :: is_defined_var :: var_is_introduced;
|
||||
var 305..323: INT____00051 :: is_defined_var :: var_is_introduced;
|
||||
var 324..342: INT____00053 :: is_defined_var :: var_is_introduced;
|
||||
var 343..361: INT____00055 :: is_defined_var :: var_is_introduced;
|
||||
array [1..19] of var 0..92: s :: output_array([1..19]);
|
||||
var 0..1748: total :: output_var = INT____00001;
|
||||
array [1..19] of var 1..19: x :: output_array([1..19]);
|
||||
array [1..19] of var 1..19: z :: output_array([1..19]);
|
||||
constraint all_different_int(order____00002) :: domain;
|
||||
constraint all_different_int(x) :: domain;
|
||||
constraint array_int_element(INT____00117, scores, s[2]);
|
||||
constraint array_int_element(INT____00119, scores, s[3]);
|
||||
constraint array_int_element(INT____00121, scores, s[4]);
|
||||
constraint array_int_element(INT____00123, scores, s[5]);
|
||||
constraint array_int_element(INT____00125, scores, s[6]);
|
||||
constraint array_int_element(INT____00127, scores, s[7]);
|
||||
constraint array_int_element(INT____00129, scores, s[8]);
|
||||
constraint array_int_element(INT____00131, scores, s[9]);
|
||||
constraint array_int_element(INT____00133, scores, s[10]);
|
||||
constraint array_int_element(INT____00135, scores, s[11]);
|
||||
constraint array_int_element(INT____00137, scores, s[12]);
|
||||
constraint array_int_element(INT____00139, scores, s[13]);
|
||||
constraint array_int_element(INT____00141, scores, s[14]);
|
||||
constraint array_int_element(INT____00143, scores, s[15]);
|
||||
constraint array_int_element(INT____00145, scores, s[16]);
|
||||
constraint array_int_element(INT____00147, scores, s[17]);
|
||||
constraint array_int_element(INT____00149, scores, s[18]);
|
||||
constraint array_int_element(INT____00151, scores, s[19]);
|
||||
constraint all_different_int(z) :: domain;
|
||||
constraint array_int_element(INT____00021, scores, s[2]);
|
||||
constraint array_int_element(INT____00023, scores, s[3]);
|
||||
constraint array_int_element(INT____00025, scores, s[4]);
|
||||
constraint array_int_element(INT____00027, scores, s[5]);
|
||||
constraint array_int_element(INT____00029, scores, s[6]);
|
||||
constraint array_int_element(INT____00031, scores, s[7]);
|
||||
constraint array_int_element(INT____00033, scores, s[8]);
|
||||
constraint array_int_element(INT____00035, scores, s[9]);
|
||||
constraint array_int_element(INT____00037, scores, s[10]);
|
||||
constraint array_int_element(INT____00039, scores, s[11]);
|
||||
constraint array_int_element(INT____00041, scores, s[12]);
|
||||
constraint array_int_element(INT____00043, scores, s[13]);
|
||||
constraint array_int_element(INT____00045, scores, s[14]);
|
||||
constraint array_int_element(INT____00047, scores, s[15]);
|
||||
constraint array_int_element(INT____00049, scores, s[16]);
|
||||
constraint array_int_element(INT____00051, scores, s[17]);
|
||||
constraint array_int_element(INT____00053, scores, s[18]);
|
||||
constraint array_int_element(INT____00055, scores, s[19]);
|
||||
constraint array_int_element(x[1], scores, s[1]);
|
||||
constraint array_var_int_element(x[1], order____00002, INT____00004) :: defines_var(INT____00004) :: domain;
|
||||
constraint array_var_int_element(x[2], order____00002, INT____00007) :: defines_var(INT____00007) :: domain;
|
||||
constraint array_var_int_element(x[3], order____00002, INT____00010) :: defines_var(INT____00010) :: domain;
|
||||
constraint array_var_int_element(x[4], order____00002, INT____00013) :: defines_var(INT____00013) :: domain;
|
||||
constraint array_var_int_element(x[5], order____00002, INT____00016) :: defines_var(INT____00016) :: domain;
|
||||
constraint array_var_int_element(x[6], order____00002, INT____00019) :: defines_var(INT____00019) :: domain;
|
||||
constraint array_var_int_element(x[7], order____00002, INT____00022) :: defines_var(INT____00022) :: domain;
|
||||
constraint array_var_int_element(x[8], order____00002, INT____00025) :: defines_var(INT____00025) :: domain;
|
||||
constraint array_var_int_element(x[9], order____00002, INT____00028) :: defines_var(INT____00028) :: domain;
|
||||
constraint array_var_int_element(x[10], order____00002, INT____00031) :: defines_var(INT____00031) :: domain;
|
||||
constraint array_var_int_element(x[11], order____00002, INT____00034) :: defines_var(INT____00034) :: domain;
|
||||
constraint array_var_int_element(x[12], order____00002, INT____00037) :: defines_var(INT____00037) :: domain;
|
||||
constraint array_var_int_element(x[13], order____00002, INT____00040) :: defines_var(INT____00040) :: domain;
|
||||
constraint array_var_int_element(x[14], order____00002, INT____00043) :: defines_var(INT____00043) :: domain;
|
||||
constraint array_var_int_element(x[15], order____00002, INT____00046) :: defines_var(INT____00046) :: domain;
|
||||
constraint array_var_int_element(x[16], order____00002, INT____00049) :: defines_var(INT____00049) :: domain;
|
||||
constraint array_var_int_element(x[17], order____00002, INT____00052) :: defines_var(INT____00052) :: domain;
|
||||
constraint array_var_int_element(x[18], order____00002, INT____00055) :: defines_var(INT____00055) :: domain;
|
||||
constraint array_var_int_element(x[19], order____00002, INT____00058) :: defines_var(INT____00058) :: domain;
|
||||
constraint array_var_int_element(z[1], x, z[2]);
|
||||
constraint array_var_int_element(z[2], x, z[3]);
|
||||
constraint array_var_int_element(z[3], x, z[4]);
|
||||
@@ -187,158 +76,43 @@ constraint array_var_int_element(z[15], x, z[16]);
|
||||
constraint array_var_int_element(z[16], x, z[17]);
|
||||
constraint array_var_int_element(z[17], x, z[18]);
|
||||
constraint array_var_int_element(z[18], x, z[19]);
|
||||
constraint bool_le(BOOL____00003, BOOL____00005) :: domain;
|
||||
constraint bool_le(BOOL____00006, BOOL____00008) :: domain;
|
||||
constraint bool_le(BOOL____00009, BOOL____00011) :: domain;
|
||||
constraint bool_le(BOOL____00012, BOOL____00014) :: domain;
|
||||
constraint bool_le(BOOL____00015, BOOL____00017) :: domain;
|
||||
constraint bool_le(BOOL____00018, BOOL____00020) :: domain;
|
||||
constraint bool_le(BOOL____00021, BOOL____00023) :: domain;
|
||||
constraint bool_le(BOOL____00024, BOOL____00026) :: domain;
|
||||
constraint bool_le(BOOL____00027, BOOL____00029) :: domain;
|
||||
constraint bool_le(BOOL____00030, BOOL____00032) :: domain;
|
||||
constraint bool_le(BOOL____00033, BOOL____00035) :: domain;
|
||||
constraint bool_le(BOOL____00036, BOOL____00038) :: domain;
|
||||
constraint bool_le(BOOL____00039, BOOL____00041) :: domain;
|
||||
constraint bool_le(BOOL____00042, BOOL____00044) :: domain;
|
||||
constraint bool_le(BOOL____00045, BOOL____00047) :: domain;
|
||||
constraint bool_le(BOOL____00048, BOOL____00050) :: domain;
|
||||
constraint bool_le(BOOL____00051, BOOL____00053) :: domain;
|
||||
constraint bool_le(BOOL____00054, BOOL____00056) :: domain;
|
||||
constraint bool_le(BOOL____00057, BOOL____00059) :: domain;
|
||||
constraint bool_le(BOOL____00060, BOOL____00061) :: domain;
|
||||
constraint bool_le(BOOL____00062, BOOL____00063) :: domain;
|
||||
constraint bool_le(BOOL____00064, BOOL____00065) :: domain;
|
||||
constraint bool_le(BOOL____00066, BOOL____00067) :: domain;
|
||||
constraint bool_le(BOOL____00068, BOOL____00069) :: domain;
|
||||
constraint bool_le(BOOL____00070, BOOL____00071) :: domain;
|
||||
constraint bool_le(BOOL____00072, BOOL____00073) :: domain;
|
||||
constraint bool_le(BOOL____00074, BOOL____00075) :: domain;
|
||||
constraint bool_le(BOOL____00076, BOOL____00077) :: domain;
|
||||
constraint bool_le(BOOL____00078, BOOL____00079) :: domain;
|
||||
constraint bool_le(BOOL____00080, BOOL____00081) :: domain;
|
||||
constraint bool_le(BOOL____00082, BOOL____00083) :: domain;
|
||||
constraint bool_le(BOOL____00084, BOOL____00085) :: domain;
|
||||
constraint bool_le(BOOL____00086, BOOL____00087) :: domain;
|
||||
constraint bool_le(BOOL____00088, BOOL____00089) :: domain;
|
||||
constraint bool_le(BOOL____00090, BOOL____00091) :: domain;
|
||||
constraint bool_le(BOOL____00092, BOOL____00093) :: domain;
|
||||
constraint bool_le(BOOL____00094, BOOL____00095) :: domain;
|
||||
constraint bool_le(BOOL____00096, BOOL____00097) :: domain;
|
||||
constraint int_eq(order____00002[1], 1) :: domain;
|
||||
constraint int_eq(z[1], 1);
|
||||
constraint int_eq_reif(19, order____00002[1], BOOL____00060) :: defines_var(BOOL____00060) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[2], BOOL____00062) :: defines_var(BOOL____00062) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[3], BOOL____00064) :: defines_var(BOOL____00064) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[4], BOOL____00066) :: defines_var(BOOL____00066) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[5], BOOL____00068) :: defines_var(BOOL____00068) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[6], BOOL____00070) :: defines_var(BOOL____00070) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[7], BOOL____00072) :: defines_var(BOOL____00072) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[8], BOOL____00074) :: defines_var(BOOL____00074) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[9], BOOL____00076) :: defines_var(BOOL____00076) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[10], BOOL____00078) :: defines_var(BOOL____00078) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[11], BOOL____00080) :: defines_var(BOOL____00080) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[12], BOOL____00082) :: defines_var(BOOL____00082) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[13], BOOL____00084) :: defines_var(BOOL____00084) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[14], BOOL____00086) :: defines_var(BOOL____00086) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[15], BOOL____00088) :: defines_var(BOOL____00088) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[16], BOOL____00090) :: defines_var(BOOL____00090) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[17], BOOL____00092) :: defines_var(BOOL____00092) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[18], BOOL____00094) :: defines_var(BOOL____00094) :: domain;
|
||||
constraint int_eq_reif(19, order____00002[19], BOOL____00096) :: defines_var(BOOL____00096) :: domain;
|
||||
constraint int_eq_reif(x[1], 1, BOOL____00061) :: defines_var(BOOL____00061) :: domain;
|
||||
constraint int_eq_reif(x[2], 1, BOOL____00063) :: defines_var(BOOL____00063) :: domain;
|
||||
constraint int_eq_reif(x[3], 1, BOOL____00065) :: defines_var(BOOL____00065) :: domain;
|
||||
constraint int_eq_reif(x[4], 1, BOOL____00067) :: defines_var(BOOL____00067) :: domain;
|
||||
constraint int_eq_reif(x[5], 1, BOOL____00069) :: defines_var(BOOL____00069) :: domain;
|
||||
constraint int_eq_reif(x[6], 1, BOOL____00071) :: defines_var(BOOL____00071) :: domain;
|
||||
constraint int_eq_reif(x[7], 1, BOOL____00073) :: defines_var(BOOL____00073) :: domain;
|
||||
constraint int_eq_reif(x[8], 1, BOOL____00075) :: defines_var(BOOL____00075) :: domain;
|
||||
constraint int_eq_reif(x[9], 1, BOOL____00077) :: defines_var(BOOL____00077) :: domain;
|
||||
constraint int_eq_reif(x[10], 1, BOOL____00079) :: defines_var(BOOL____00079) :: domain;
|
||||
constraint int_eq_reif(x[11], 1, BOOL____00081) :: defines_var(BOOL____00081) :: domain;
|
||||
constraint int_eq_reif(x[12], 1, BOOL____00083) :: defines_var(BOOL____00083) :: domain;
|
||||
constraint int_eq_reif(x[13], 1, BOOL____00085) :: defines_var(BOOL____00085) :: domain;
|
||||
constraint int_eq_reif(x[14], 1, BOOL____00087) :: defines_var(BOOL____00087) :: domain;
|
||||
constraint int_eq_reif(x[15], 1, BOOL____00089) :: defines_var(BOOL____00089) :: domain;
|
||||
constraint int_eq_reif(x[16], 1, BOOL____00091) :: defines_var(BOOL____00091) :: domain;
|
||||
constraint int_eq_reif(x[17], 1, BOOL____00093) :: defines_var(BOOL____00093) :: domain;
|
||||
constraint int_eq_reif(x[18], 1, BOOL____00095) :: defines_var(BOOL____00095) :: domain;
|
||||
constraint int_eq_reif(x[19], 1, BOOL____00097) :: defines_var(BOOL____00097) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00117, x[2]], -19) :: defines_var(INT____00117) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00119, x[3]], -38) :: defines_var(INT____00119) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00121, x[4]], -57) :: defines_var(INT____00121) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00123, x[5]], -76) :: defines_var(INT____00123) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00125, x[6]], -95) :: defines_var(INT____00125) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00127, x[7]], -114) :: defines_var(INT____00127) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00129, x[8]], -133) :: defines_var(INT____00129) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00131, x[9]], -152) :: defines_var(INT____00131) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00133, x[10]], -171) :: defines_var(INT____00133) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00135, x[11]], -190) :: defines_var(INT____00135) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00137, x[12]], -209) :: defines_var(INT____00137) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00139, x[13]], -228) :: defines_var(INT____00139) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00141, x[14]], -247) :: defines_var(INT____00141) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00143, x[15]], -266) :: defines_var(INT____00143) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00145, x[16]], -285) :: defines_var(INT____00145) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00147, x[17]], -304) :: defines_var(INT____00147) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00149, x[18]], -323) :: defines_var(INT____00149) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00151, x[19]], -342) :: defines_var(INT____00151) :: domain;
|
||||
constraint int_eq(z[1], x[1]);
|
||||
constraint int_eq(z[19], 1);
|
||||
constraint int_lin_eq([-1, 1], [INT____00021, x[2]], -19) :: defines_var(INT____00021) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00023, x[3]], -38) :: defines_var(INT____00023) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00025, x[4]], -57) :: defines_var(INT____00025) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00027, x[5]], -76) :: defines_var(INT____00027) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00029, x[6]], -95) :: defines_var(INT____00029) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00031, x[7]], -114) :: defines_var(INT____00031) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00033, x[8]], -133) :: defines_var(INT____00033) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00035, x[9]], -152) :: defines_var(INT____00035) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00037, x[10]], -171) :: defines_var(INT____00037) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00039, x[11]], -190) :: defines_var(INT____00039) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00041, x[12]], -209) :: defines_var(INT____00041) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00043, x[13]], -228) :: defines_var(INT____00043) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00045, x[14]], -247) :: defines_var(INT____00045) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00047, x[15]], -266) :: defines_var(INT____00047) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00049, x[16]], -285) :: defines_var(INT____00049) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00051, x[17]], -304) :: defines_var(INT____00051) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00053, x[18]], -323) :: defines_var(INT____00053) :: domain;
|
||||
constraint int_lin_eq([-1, 1], [INT____00055, x[19]], -342) :: defines_var(INT____00055) :: domain;
|
||||
constraint int_lin_eq([-1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [INT____00001, s[1], s[2], s[3], s[4], s[5], s[6], s[7], s[8], s[9], s[10], s[11], s[12], s[13], s[14], s[15], s[16], s[17], s[18], s[19]], 0) :: defines_var(INT____00001);
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00004, order____00002[1]], 1, BOOL____00005) :: defines_var(BOOL____00005) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00007, order____00002[2]], 1, BOOL____00008) :: defines_var(BOOL____00008) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00010, order____00002[3]], 1, BOOL____00011) :: defines_var(BOOL____00011) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00013, order____00002[4]], 1, BOOL____00014) :: defines_var(BOOL____00014) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00016, order____00002[5]], 1, BOOL____00017) :: defines_var(BOOL____00017) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00019, order____00002[6]], 1, BOOL____00020) :: defines_var(BOOL____00020) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00022, order____00002[7]], 1, BOOL____00023) :: defines_var(BOOL____00023) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00025, order____00002[8]], 1, BOOL____00026) :: defines_var(BOOL____00026) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00028, order____00002[9]], 1, BOOL____00029) :: defines_var(BOOL____00029) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00031, order____00002[10]], 1, BOOL____00032) :: defines_var(BOOL____00032) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00034, order____00002[11]], 1, BOOL____00035) :: defines_var(BOOL____00035) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00037, order____00002[12]], 1, BOOL____00038) :: defines_var(BOOL____00038) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00040, order____00002[13]], 1, BOOL____00041) :: defines_var(BOOL____00041) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00043, order____00002[14]], 1, BOOL____00044) :: defines_var(BOOL____00044) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00046, order____00002[15]], 1, BOOL____00047) :: defines_var(BOOL____00047) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00049, order____00002[16]], 1, BOOL____00050) :: defines_var(BOOL____00050) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00052, order____00002[17]], 1, BOOL____00053) :: defines_var(BOOL____00053) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00055, order____00002[18]], 1, BOOL____00056) :: defines_var(BOOL____00056) :: domain;
|
||||
constraint int_lin_eq_reif([1, -1], [INT____00058, order____00002[19]], 1, BOOL____00059) :: defines_var(BOOL____00059) :: domain;
|
||||
constraint int_ne(x[1], 1) :: domain;
|
||||
constraint int_ne(x[2], 2) :: domain;
|
||||
constraint int_ne(x[3], 3) :: domain;
|
||||
constraint int_ne(x[4], 4) :: domain;
|
||||
constraint int_ne(x[5], 5) :: domain;
|
||||
constraint int_ne(x[6], 6) :: domain;
|
||||
constraint int_ne(x[7], 7) :: domain;
|
||||
constraint int_ne(x[8], 8) :: domain;
|
||||
constraint int_ne(x[9], 9) :: domain;
|
||||
constraint int_ne(x[10], 10) :: domain;
|
||||
constraint int_ne(x[11], 11) :: domain;
|
||||
constraint int_ne(x[12], 12) :: domain;
|
||||
constraint int_ne(x[13], 13) :: domain;
|
||||
constraint int_ne(x[14], 14) :: domain;
|
||||
constraint int_ne(x[15], 15) :: domain;
|
||||
constraint int_ne(x[16], 16) :: domain;
|
||||
constraint int_ne(x[17], 17) :: domain;
|
||||
constraint int_ne(x[18], 18) :: domain;
|
||||
constraint int_ne(x[19], 19) :: domain;
|
||||
constraint int_ne_reif(order____00002[1], 19, BOOL____00003) :: defines_var(BOOL____00003) :: domain;
|
||||
constraint int_ne_reif(order____00002[2], 19, BOOL____00006) :: defines_var(BOOL____00006) :: domain;
|
||||
constraint int_ne_reif(order____00002[3], 19, BOOL____00009) :: defines_var(BOOL____00009) :: domain;
|
||||
constraint int_ne_reif(order____00002[4], 19, BOOL____00012) :: defines_var(BOOL____00012) :: domain;
|
||||
constraint int_ne_reif(order____00002[5], 19, BOOL____00015) :: defines_var(BOOL____00015) :: domain;
|
||||
constraint int_ne_reif(order____00002[6], 19, BOOL____00018) :: defines_var(BOOL____00018) :: domain;
|
||||
constraint int_ne_reif(order____00002[7], 19, BOOL____00021) :: defines_var(BOOL____00021) :: domain;
|
||||
constraint int_ne_reif(order____00002[8], 19, BOOL____00024) :: defines_var(BOOL____00024) :: domain;
|
||||
constraint int_ne_reif(order____00002[9], 19, BOOL____00027) :: defines_var(BOOL____00027) :: domain;
|
||||
constraint int_ne_reif(order____00002[10], 19, BOOL____00030) :: defines_var(BOOL____00030) :: domain;
|
||||
constraint int_ne_reif(order____00002[11], 19, BOOL____00033) :: defines_var(BOOL____00033) :: domain;
|
||||
constraint int_ne_reif(order____00002[12], 19, BOOL____00036) :: defines_var(BOOL____00036) :: domain;
|
||||
constraint int_ne_reif(order____00002[13], 19, BOOL____00039) :: defines_var(BOOL____00039) :: domain;
|
||||
constraint int_ne_reif(order____00002[14], 19, BOOL____00042) :: defines_var(BOOL____00042) :: domain;
|
||||
constraint int_ne_reif(order____00002[15], 19, BOOL____00045) :: defines_var(BOOL____00045) :: domain;
|
||||
constraint int_ne_reif(order____00002[16], 19, BOOL____00048) :: defines_var(BOOL____00048) :: domain;
|
||||
constraint int_ne_reif(order____00002[17], 19, BOOL____00051) :: defines_var(BOOL____00051) :: domain;
|
||||
constraint int_ne_reif(order____00002[18], 19, BOOL____00054) :: defines_var(BOOL____00054) :: domain;
|
||||
constraint int_ne_reif(order____00002[19], 19, BOOL____00057) :: defines_var(BOOL____00057) :: domain;
|
||||
solve :: int_search(s, largest, indomain_max, complete) maximize INT____00001;
|
||||
constraint int_ne(z[1], 1);
|
||||
constraint int_ne(z[2], 1);
|
||||
constraint int_ne(z[3], 1);
|
||||
constraint int_ne(z[4], 1);
|
||||
constraint int_ne(z[5], 1);
|
||||
constraint int_ne(z[6], 1);
|
||||
constraint int_ne(z[7], 1);
|
||||
constraint int_ne(z[8], 1);
|
||||
constraint int_ne(z[9], 1);
|
||||
constraint int_ne(z[10], 1);
|
||||
constraint int_ne(z[11], 1);
|
||||
constraint int_ne(z[12], 1);
|
||||
constraint int_ne(z[13], 1);
|
||||
constraint int_ne(z[14], 1);
|
||||
constraint int_ne(z[15], 1);
|
||||
constraint int_ne(z[16], 1);
|
||||
constraint int_ne(z[17], 1);
|
||||
constraint int_ne(z[18], 1);
|
||||
solve :: int_search([x[1], x[2], x[3], x[4], x[5], x[6], x[7], x[8], x[9], x[10], x[11], x[12], x[13], x[14], x[15], x[16], x[17], x[18], x[19], z[1], z[2], z[3], z[4], z[5], z[6], z[7], z[8], z[9], z[10], z[11], z[12], z[13], z[14], z[15], z[16], z[17], z[18], z[19]], first_fail, indomain_min, complete) maximize INT____00001;
|
||||
|
||||
Reference in New Issue
Block a user