Home
last modified time | relevance | path

Searched refs:constraint (Results 1 – 25 of 4624) sorted by relevance

12345678910>>...185

/dports/math/py-or-tools/or-tools-9.2/examples/flatzinc/
H A Dequal_sized_groups.fzn69 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 Dtripuzzle1.fzn4 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 Dtripuzzle2.fzn7 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 Deuler_1.fzn4 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 Dperfect_shuffle.fzn3 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 D3_jugs2.fzn25 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 D3_jugs2_all.fzn25 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 Dmisp.fzn6 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 Dsudoku_25x25_250.fzn643 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 Dclique.fzn103 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 Dquasigroup_completion_gomes_demo3.fzn62 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 Dsudoku_pi_2011.fzn49 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 Dquasigroup_completion_gomes_demo4.fzn69 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 Dquasigroup_completion_gomes_demo2.fzn77 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 D0600.fzn1207 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 D1000.fzn2006 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 D0700.fzn1406 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 D0900.fzn1806 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 D8-cube.fzn3387 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 Dtripuzzle1.fzn3914 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 Dtripuzzle2.fzn3914 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 D0200.fzn407 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 Dhidato_table.fzn1660 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 D4-cube.fzn1803 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 Dlatin_square.fzn173 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 …]

12345678910>>...185