/dports/math/py-or-tools/or-tools-9.2/examples/flatzinc/ |
H A D | equal_sized_groups.fzn | 69 constraint int_ne(x[1], 10); 70 constraint int_ne(x[1], 11); 71 constraint int_ne(x[1], 12); 72 constraint int_ne(x[1], 13); 73 constraint int_ne(x[1], 14); 74 constraint int_ne(x[1], 15); 75 constraint int_ne(x[1], 16); 76 constraint int_ne(x[1], 17); 77 constraint int_ne(x[1], 18); 78 constraint int_ne(x[1], 20); [all …]
|
H A D | tripuzzle1.fzn | 4 constraint int_eq(y[1], 2); 5 constraint int_eq(y[2], 6); 7 constraint int_eq(y[4], 2); 11 constraint int_eq(y[11], 3); 13 constraint int_eq(y[13], 3); 20 constraint int_eq(y[26], 1); 34 constraint int_le(0, y[1]); 35 constraint int_le(0, y[2]); 36 constraint int_le(0, y[3]); 37 constraint int_le(0, y[4]); [all …]
|
H A D | tripuzzle2.fzn | 7 constraint int_eq(y[1], 2); 8 constraint int_eq(y[2], 6); 10 constraint int_eq(y[4], 2); 14 constraint int_eq(y[11], 3); 16 constraint int_eq(y[13], 3); 37 constraint int_le(0, y[1]); 38 constraint int_le(0, y[2]); 39 constraint int_le(0, y[3]); 40 constraint int_le(0, y[4]); 41 constraint int_le(0, y[5]); [all …]
|
H A D | euler_1.fzn | 4 constraint int_eq(x[1], 0); 5 constraint int_eq(x[2], 0); 6 constraint int_eq(x[3], 1); 7 constraint int_eq(x[4], 0); 8 constraint int_eq(x[5], 1); 9 constraint int_eq(x[6], 1); 10 constraint int_eq(x[7], 0); 11 constraint int_eq(x[8], 0); 12 constraint int_eq(x[9], 1); 13 constraint int_eq(x[10], 1); [all …]
|
H A D | perfect_shuffle.fzn | 3 constraint int_eq(x[1], x[29]); 4 constraint int_eq(x[2], x[43]); 5 constraint int_eq(x[3], x[30]); 6 constraint int_eq(x[4], x[44]); 7 constraint int_eq(x[5], x[31]); 8 constraint int_eq(x[6], x[45]); 9 constraint int_eq(x[7], x[32]); 10 constraint int_eq(x[8], x[46]); 11 constraint int_eq(x[9], x[33]); 12 constraint int_eq(x[10], x[47]); [all …]
|
H A D | 3_jugs2.fzn | 25 constraint int_eq(x[1], 0); 26 constraint int_eq(x[3], 0); 27 constraint int_eq(x[4], 0); 28 constraint int_eq(x[5], 0); 29 constraint int_eq(x[6], 0); 30 constraint int_eq(x[7], 0); 31 constraint int_eq(x[8], 0); 32 constraint int_eq(x[10], 0); 33 constraint int_eq(x[11], 0); 34 constraint int_eq(x[12], 0); [all …]
|
H A D | 3_jugs2_all.fzn | 25 constraint int_eq(x[1], 0); 26 constraint int_eq(x[3], 0); 27 constraint int_eq(x[4], 0); 28 constraint int_eq(x[5], 0); 29 constraint int_eq(x[6], 0); 30 constraint int_eq(x[7], 0); 31 constraint int_eq(x[8], 0); 32 constraint int_eq(x[10], 0); 33 constraint int_eq(x[11], 0); 34 constraint int_eq(x[12], 0); [all …]
|
H A D | misp.fzn | 6 constraint int_lin_le([1, 1], [x[1], x[2]], 1); 7 constraint int_lin_le([1, 1], [x[1], x[3]], 1); 8 constraint int_lin_le([1, 1], [x[1], x[5]], 1); 9 constraint int_lin_le([1, 1], [x[1], x[7]], 1); 10 constraint int_lin_le([1, 1], [x[1], x[8]], 1); 27 constraint int_lin_le([1, 1], [x[2], x[3]], 1); 28 constraint int_lin_le([1, 1], [x[2], x[5]], 1); 29 constraint int_lin_le([1, 1], [x[2], x[6]], 1); 30 constraint int_lin_le([1, 1], [x[2], x[7]], 1); 31 constraint int_lin_le([1, 1], [x[2], x[8]], 1); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/sudoku_25x25_250/ |
H A D | sudoku_25x25_250.fzn | 643 constraint int_lin_ne([1],[E35],1); 647 constraint int_lin_ne([1],[E35],7); 648 constraint int_lin_ne([1],[E35],2); 658 constraint int_lin_ne([1],[E35],5); 659 constraint int_lin_ne([1],[E35],9); 661 constraint int_lin_ne([1],[E35],8); 663 constraint int_lin_ne([1],[E35],6); 664 constraint int_lin_ne([1],[E45],1); 668 constraint int_lin_ne([1],[E45],7); 669 constraint int_lin_ne([1],[E45],2); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/clique/ |
H A D | clique.fzn | 103 constraint int_eq(c,c); 104 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_2]); 105 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_4]); 106 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_6]); 107 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_8]); 108 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_9]); 145 constraint bool_clause([],[X_INTRODUCED_2,X_INTRODUCED_3]); 146 constraint bool_clause([],[X_INTRODUCED_2,X_INTRODUCED_6]); 147 constraint bool_clause([],[X_INTRODUCED_2,X_INTRODUCED_7]); 148 constraint bool_clause([],[X_INTRODUCED_2,X_INTRODUCED_9]); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/quasigroup_completion_gomes_demo3/ |
H A D | quasigroup_completion_gomes_demo3.fzn | 62 constraint int_lin_ne([1],[X_INTRODUCED_0],1); 63 constraint int_lin_ne([1],[X_INTRODUCED_0],5); 64 constraint int_lin_ne([1],[X_INTRODUCED_0],2); 65 constraint int_lin_ne([1],[X_INTRODUCED_0],4); 70 constraint int_lin_ne([1],[X_INTRODUCED_10],1); 71 constraint int_lin_ne([1],[X_INTRODUCED_10],5); 101 constraint int_lin_ne([1],[X_INTRODUCED_0],1); 102 constraint int_lin_ne([1],[X_INTRODUCED_0],5); 103 constraint int_lin_ne([1],[X_INTRODUCED_0],2); 104 constraint int_lin_ne([1],[X_INTRODUCED_0],6); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/sudoku_pi_2011/ |
H A D | sudoku_pi_2011.fzn | 49 constraint int_lin_ne([1],[X_INTRODUCED_0],4); 50 constraint int_lin_ne([1],[X_INTRODUCED_0],9); 56 constraint int_lin_ne([1],[X_INTRODUCED_0],1); 59 constraint int_lin_ne([1],[X_INTRODUCED_1],4); 60 constraint int_lin_ne([1],[X_INTRODUCED_1],9); 66 constraint int_lin_ne([1],[X_INTRODUCED_1],1); 68 constraint int_lin_ne([1],[X_INTRODUCED_2],4); 69 constraint int_lin_ne([1],[X_INTRODUCED_2],9); 75 constraint int_lin_ne([1],[X_INTRODUCED_2],1); 76 constraint int_lin_ne([1],[X_INTRODUCED_3],4); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/quasigroup_completion_gomes_demo4/ |
H A D | quasigroup_completion_gomes_demo4.fzn | 69 constraint int_lin_ne([-1],[X_INTRODUCED_30],-1); 70 constraint int_lin_ne([-1],[X_INTRODUCED_40],-1); 71 constraint int_lin_ne([-1],[X_INTRODUCED_50],-1); 156 constraint int_lin_ne([1],[X_INTRODUCED_1],1); 157 constraint int_lin_ne([1],[X_INTRODUCED_1],2); 158 constraint int_lin_ne([1],[X_INTRODUCED_1],3); 164 constraint int_lin_ne([1],[X_INTRODUCED_1],4); 238 constraint int_lin_ne([1],[X_INTRODUCED_2],1); 239 constraint int_lin_ne([1],[X_INTRODUCED_2],2); 240 constraint int_lin_ne([1],[X_INTRODUCED_2],3); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/quasigroup_completion_gomes_demo2/ |
H A D | quasigroup_completion_gomes_demo2.fzn | 77 constraint int_lin_ne([1],[X_INTRODUCED_0],1); 78 constraint int_lin_ne([1],[X_INTRODUCED_0],2); 79 constraint int_lin_ne([1],[X_INTRODUCED_0],3); 80 constraint int_lin_ne([1],[X_INTRODUCED_0],5); 85 constraint int_lin_ne([1],[X_INTRODUCED_10],1); 116 constraint int_lin_ne([1],[X_INTRODUCED_0],1); 117 constraint int_lin_ne([1],[X_INTRODUCED_0],2); 118 constraint int_lin_ne([1],[X_INTRODUCED_0],3); 119 constraint int_lin_ne([1],[X_INTRODUCED_0],4); 124 constraint int_lin_ne([1],[X_INTRODUCED_1],1); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/above1hour/prop_stress/ |
H A D | 0600.fzn | 1207 constraint int_lin_le(X_INTRODUCED_1202,[X_INTRODUCED_1,X_INTRODUCED_2],0); 1208 constraint int_lin_le(X_INTRODUCED_1202,[X_INTRODUCED_2,X_INTRODUCED_3],0); 1209 constraint int_lin_le(X_INTRODUCED_1202,[X_INTRODUCED_3,X_INTRODUCED_4],0); 1210 constraint int_lin_le(X_INTRODUCED_1202,[X_INTRODUCED_4,X_INTRODUCED_5],0); 1211 constraint int_lin_le(X_INTRODUCED_1202,[X_INTRODUCED_5,X_INTRODUCED_6],0); 1212 constraint int_lin_le(X_INTRODUCED_1202,[X_INTRODUCED_6,X_INTRODUCED_7],0); 1213 constraint int_lin_le(X_INTRODUCED_1202,[X_INTRODUCED_7,X_INTRODUCED_8],0); 1214 constraint int_lin_le(X_INTRODUCED_1202,[X_INTRODUCED_8,X_INTRODUCED_9],0); 1215 constraint int_lin_le(X_INTRODUCED_1202,[X_INTRODUCED_9,X_INTRODUCED_10],0); 1216 constraint int_lin_le(X_INTRODUCED_1202,[X_INTRODUCED_10,X_INTRODUCED_11],0); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/slow_convergence/ |
H A D | 1000.fzn | 2006 constraint int_lin_le(X_INTRODUCED_2002,[X_INTRODUCED_1,X_INTRODUCED_2],0); 2007 constraint int_lin_le(X_INTRODUCED_2002,[X_INTRODUCED_2,X_INTRODUCED_3],0); 2008 constraint int_lin_le(X_INTRODUCED_2002,[X_INTRODUCED_3,X_INTRODUCED_4],0); 2009 constraint int_lin_le(X_INTRODUCED_2002,[X_INTRODUCED_4,X_INTRODUCED_5],0); 2010 constraint int_lin_le(X_INTRODUCED_2002,[X_INTRODUCED_5,X_INTRODUCED_6],0); 2011 constraint int_lin_le(X_INTRODUCED_2002,[X_INTRODUCED_6,X_INTRODUCED_7],0); 2012 constraint int_lin_le(X_INTRODUCED_2002,[X_INTRODUCED_7,X_INTRODUCED_8],0); 2013 constraint int_lin_le(X_INTRODUCED_2002,[X_INTRODUCED_8,X_INTRODUCED_9],0); 2014 constraint int_lin_le(X_INTRODUCED_2002,[X_INTRODUCED_9,X_INTRODUCED_10],0); 2015 constraint int_lin_le(X_INTRODUCED_2002,[X_INTRODUCED_10,X_INTRODUCED_11],0); [all …]
|
H A D | 0700.fzn | 1406 constraint int_lin_le(X_INTRODUCED_1402,[X_INTRODUCED_1,X_INTRODUCED_2],0); 1407 constraint int_lin_le(X_INTRODUCED_1402,[X_INTRODUCED_2,X_INTRODUCED_3],0); 1408 constraint int_lin_le(X_INTRODUCED_1402,[X_INTRODUCED_3,X_INTRODUCED_4],0); 1409 constraint int_lin_le(X_INTRODUCED_1402,[X_INTRODUCED_4,X_INTRODUCED_5],0); 1410 constraint int_lin_le(X_INTRODUCED_1402,[X_INTRODUCED_5,X_INTRODUCED_6],0); 1411 constraint int_lin_le(X_INTRODUCED_1402,[X_INTRODUCED_6,X_INTRODUCED_7],0); 1412 constraint int_lin_le(X_INTRODUCED_1402,[X_INTRODUCED_7,X_INTRODUCED_8],0); 1413 constraint int_lin_le(X_INTRODUCED_1402,[X_INTRODUCED_8,X_INTRODUCED_9],0); 1414 constraint int_lin_le(X_INTRODUCED_1402,[X_INTRODUCED_9,X_INTRODUCED_10],0); 1415 constraint int_lin_le(X_INTRODUCED_1402,[X_INTRODUCED_10,X_INTRODUCED_11],0); [all …]
|
H A D | 0900.fzn | 1806 constraint int_lin_le(X_INTRODUCED_1802,[X_INTRODUCED_1,X_INTRODUCED_2],0); 1807 constraint int_lin_le(X_INTRODUCED_1802,[X_INTRODUCED_2,X_INTRODUCED_3],0); 1808 constraint int_lin_le(X_INTRODUCED_1802,[X_INTRODUCED_3,X_INTRODUCED_4],0); 1809 constraint int_lin_le(X_INTRODUCED_1802,[X_INTRODUCED_4,X_INTRODUCED_5],0); 1810 constraint int_lin_le(X_INTRODUCED_1802,[X_INTRODUCED_5,X_INTRODUCED_6],0); 1811 constraint int_lin_le(X_INTRODUCED_1802,[X_INTRODUCED_6,X_INTRODUCED_7],0); 1812 constraint int_lin_le(X_INTRODUCED_1802,[X_INTRODUCED_7,X_INTRODUCED_8],0); 1813 constraint int_lin_le(X_INTRODUCED_1802,[X_INTRODUCED_8,X_INTRODUCED_9],0); 1814 constraint int_lin_le(X_INTRODUCED_1802,[X_INTRODUCED_9,X_INTRODUCED_10],0); 1815 constraint int_lin_le(X_INTRODUCED_1802,[X_INTRODUCED_10,X_INTRODUCED_11],0); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/above1hour/rubik/ |
H A D | 8-cube.fzn | 3387 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_10]); 3388 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_19]); 3389 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_28]); 3390 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_37]); 3391 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_46]); 3403 constraint bool_clause([],[X_INTRODUCED_2,X_INTRODUCED_11]); 3404 constraint bool_clause([],[X_INTRODUCED_2,X_INTRODUCED_20]); 3405 constraint bool_clause([],[X_INTRODUCED_2,X_INTRODUCED_29]); 3406 constraint bool_clause([],[X_INTRODUCED_2,X_INTRODUCED_38]); 3407 constraint bool_clause([],[X_INTRODUCED_2,X_INTRODUCED_47]); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/tripuzzle1/ |
H A D | tripuzzle1.fzn | 3914 constraint int_le(0,X_INTRODUCED_774); 3915 constraint int_le(0,X_INTRODUCED_776); 3916 constraint int_le(0,X_INTRODUCED_777); 3917 constraint int_le(0,X_INTRODUCED_783); 3918 constraint int_le(0,X_INTRODUCED_785); 3919 constraint int_le(0,X_INTRODUCED_786); 3920 constraint int_le(0,X_INTRODUCED_789); 3921 constraint int_le(0,X_INTRODUCED_791); 3922 constraint int_le(0,X_INTRODUCED_792); 3923 constraint int_le(0,X_INTRODUCED_798); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/tripuzzle2/ |
H A D | tripuzzle2.fzn | 3914 constraint int_le(0,X_INTRODUCED_774); 3915 constraint int_le(0,X_INTRODUCED_776); 3916 constraint int_le(0,X_INTRODUCED_777); 3917 constraint int_le(0,X_INTRODUCED_783); 3918 constraint int_le(0,X_INTRODUCED_785); 3919 constraint int_le(0,X_INTRODUCED_786); 3920 constraint int_le(0,X_INTRODUCED_789); 3921 constraint int_le(0,X_INTRODUCED_791); 3922 constraint int_le(0,X_INTRODUCED_792); 3923 constraint int_le(0,X_INTRODUCED_798); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo30sec/prop_stress/ |
H A D | 0200.fzn | 407 constraint int_lin_le(X_INTRODUCED_402,[X_INTRODUCED_1,X_INTRODUCED_2],0); 408 constraint int_lin_le(X_INTRODUCED_402,[X_INTRODUCED_2,X_INTRODUCED_3],0); 409 constraint int_lin_le(X_INTRODUCED_402,[X_INTRODUCED_3,X_INTRODUCED_4],0); 410 constraint int_lin_le(X_INTRODUCED_402,[X_INTRODUCED_4,X_INTRODUCED_5],0); 411 constraint int_lin_le(X_INTRODUCED_402,[X_INTRODUCED_5,X_INTRODUCED_6],0); 412 constraint int_lin_le(X_INTRODUCED_402,[X_INTRODUCED_6,X_INTRODUCED_7],0); 413 constraint int_lin_le(X_INTRODUCED_402,[X_INTRODUCED_7,X_INTRODUCED_8],0); 414 constraint int_lin_le(X_INTRODUCED_402,[X_INTRODUCED_8,X_INTRODUCED_9],0); 415 constraint int_lin_le(X_INTRODUCED_402,[X_INTRODUCED_9,X_INTRODUCED_10],0); 416 constraint int_lin_le(X_INTRODUCED_402,[X_INTRODUCED_10,X_INTRODUCED_11],0); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo30sec/hidato_table/ |
H A D | hidato_table.fzn | 1660 constraint int_lin_ne([1],[X_INTRODUCED_0],2); 1661 constraint int_lin_ne([1],[X_INTRODUCED_0],4); 1672 constraint int_lin_ne([1],[X_INTRODUCED_0],1); 1674 constraint int_lin_ne([1],[X_INTRODUCED_0],5); 1675 constraint int_lin_ne([1],[X_INTRODUCED_0],6); 1802 constraint int_lin_ne([1],[X_INTRODUCED_1],2); 1803 constraint int_lin_ne([1],[X_INTRODUCED_1],4); 1814 constraint int_lin_ne([1],[X_INTRODUCED_1],1); 1816 constraint int_lin_ne([1],[X_INTRODUCED_1],5); 1817 constraint int_lin_ne([1],[X_INTRODUCED_1],6); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5min/rubik/ |
H A D | 4-cube.fzn | 1803 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_6]); 1804 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_11]); 1805 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_16]); 1806 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_21]); 1807 constraint bool_clause([],[X_INTRODUCED_1,X_INTRODUCED_26]); 1808 constraint bool_clause([],[X_INTRODUCED_6,X_INTRODUCED_11]); 1809 constraint bool_clause([],[X_INTRODUCED_6,X_INTRODUCED_16]); 1810 constraint bool_clause([],[X_INTRODUCED_6,X_INTRODUCED_21]); 1811 constraint bool_clause([],[X_INTRODUCED_6,X_INTRODUCED_26]); 1819 constraint bool_clause([],[X_INTRODUCED_2,X_INTRODUCED_7]); [all …]
|
/dports/math/jacop/jacop-4.8.0/src/test/fz/upTo5sec/latin_square/ |
H A D | latin_square.fzn | 173 constraint int_lin_ne([-1],[X_INTRODUCED_15],-2); 174 constraint int_lin_ne([-1],[X_INTRODUCED_29],-2); 175 constraint int_lin_ne([-1],[X_INTRODUCED_43],-2); 176 constraint int_lin_ne([-1],[X_INTRODUCED_57],-2); 177 constraint int_lin_ne([-1],[X_INTRODUCED_71],-2); 178 constraint int_lin_ne([-1],[X_INTRODUCED_85],-2); 179 constraint int_lin_ne([-1],[X_INTRODUCED_99],-2); 264 constraint int_lin_ne([-1],[X_INTRODUCED_15],-2); 265 constraint int_lin_ne([-1],[X_INTRODUCED_16],-2); 266 constraint int_lin_ne([-1],[X_INTRODUCED_17],-2); [all …]
|