00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034 #include "test/flatzinc.hh"
00035
00036 namespace Test { namespace FlatZinc {
00037
00038 namespace {
00040 class Create {
00041 public:
00042
00044 Create(void) {
00045 (void) new FlatZincTest("quasigroup",
00046 std::string("predicate all_different_int(array [int] of var int: x);\n\
00047 predicate all_equal_int(array [int] of var int: x);\n\
00048 predicate among(var int: n, array [int] of var int: x, set of int: v);\n\
00049 predicate array_bool_lq(array [int] of var bool: x, array [int] of var bool: y);\n\
00050 predicate array_bool_lt(array [int] of var bool: x, array [int] of var bool: y);\n\
00051 predicate array_int_lq(array [int] of var int: x, array [int] of var int: y);\n\
00052 predicate array_int_lt(array [int] of var int: x, array [int] of var int: y);\n\
00053 predicate array_set_partition(array [int] of var set of int: S, set of int: universe);\n\
00054 predicate at_least_int(int: n, array [int] of var int: x, int: v);\n\
00055 predicate at_most_int(int: n, array [int] of var int: x, int: v);\n\
00056 predicate bool_lin_ge(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00057 predicate bool_lin_gt(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00058 predicate bool_lin_lt(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00059 predicate bool_lin_ne(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00060 predicate count(array [int] of var int: x, var int: y, var int: c);\n\
00061 predicate count_reif(array [int] of var int: x, var int: y, var int: c, var bool: b);\n\
00062 predicate cumulatives(array [int] of var int: s, array [int] of var int: d, array [int] of var int: r, var int: b);\n\
00063 predicate decreasing_bool(array [int] of var bool: x);\n\
00064 predicate decreasing_int(array [int] of var int: x);\n\
00065 predicate disjoint(var set of int: s1, var set of int: s2);\n\
00066 predicate gecode_array_set_element_union(var set of int: x, array [int] of var set of int: y, var set of int: z);\n\
00067 predicate gecode_bin_packing_load(array [int] of var int: l, array [int] of var int: bin, array [int] of int: w, int: minIndex);\n\
00068 predicate gecode_circuit(int: offset, array [int] of var int: x);\n\
00069 predicate gecode_int_set_channel(array [int] of var int: x, int: xoff, array [int] of var set of int: y, int: yoff);\n\
00070 predicate gecode_inverse_set(array [int] of var set of int: f, array [int] of var set of int: invf, int: xoff, int: yoff);\n\
00071 predicate gecode_link_set_to_booleans(var set of int: s, array [int] of var bool: b, int: idx);\n\
00072 predicate gecode_member_bool_reif(array [int] of var bool: x, var bool: y, var bool: b);\n\
00073 predicate gecode_member_int_reif(array [int] of var int: x, var int: y, var bool: b);\n\
00074 predicate gecode_nooverlap(array [int] of var int: x, array [int] of var int: w, array [int] of var int: y, array [int] of var int: h);\n\
00075 predicate gecode_precede(array [int] of var int: x, int: s, int: t);\n\
00076 predicate gecode_precede_set(array [int] of var set of int: x, int: s, int: t);\n\
00077 predicate gecode_range(array [int] of var int: x, int: xoff, var set of int: s, var set of int: t);\n\
00078 predicate gecode_set_weights(array [int] of int: csi, array [int] of int: cs, var set of int: x, var int: y);\n\
00079 predicate global_cardinality(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);\n\
00080 predicate global_cardinality_closed(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);\n\
00081 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);\n\
00082 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);\n\
00083 predicate increasing_bool(array [int] of var bool: x);\n\
00084 predicate increasing_int(array [int] of var int: x);\n\
00085 predicate inverse_offsets(array [int] of var int: f, int: foff, array [int] of var int: invf, int: invfoff);\n\
00086 predicate maximum_int(var int: m, array [int] of var int: x);\n\
00087 predicate member_bool(array [int] of var bool: x, var bool: y);\n\
00088 predicate member_int(array [int] of var int: x, var int: y);\n\
00089 predicate minimum_int(var int: m, array [int] of var int: x);\n\
00090 predicate nvalue(var int: n, array [int] of var int: x);\n\
00091 predicate regular(array [int] of var int: x, int: Q, int: S, array [int, int] of int: d, int: q0, set of int: F);\n\
00092 predicate sort(array [int] of var int: x, array [int] of var int: y);\n\
00093 predicate table_bool(array [int] of var bool: x, array [int, int] of bool: t);\n\
00094 predicate table_int(array [int] of var int: x, array [int, int] of int: t);\n\
00095 var 1..21: INT____00001 :: is_defined_var :: var_is_introduced;\n\
00096 var 1..5: INT____00002 :: is_defined_var :: var_is_introduced;\n\
00097 var 1..21: INT____00003 :: is_defined_var :: var_is_introduced;\n\
00098 var 2..22: INT____00005 :: is_defined_var :: var_is_introduced;\n\
00099 var 1..5: INT____00006 :: is_defined_var :: var_is_introduced;\n\
00100 var 2..22: INT____00007 :: is_defined_var :: var_is_introduced;\n\
00101 var 3..23: INT____00009 :: is_defined_var :: var_is_introduced;\n\
00102 var 1..5: INT____00010 :: is_defined_var :: var_is_introduced;\n\
00103 var 3..23: INT____00011 :: is_defined_var :: var_is_introduced;\n\
00104 var 4..24: INT____00013 :: is_defined_var :: var_is_introduced;\n\
00105 var 1..5: INT____00014 :: is_defined_var :: var_is_introduced;\n\
00106 var 4..24: INT____00015 :: is_defined_var :: var_is_introduced;\n\
00107 var 5..25: INT____00017 :: is_defined_var :: var_is_introduced;\n\
00108 var 1..5: INT____00018 :: is_defined_var :: var_is_introduced;\n\
00109 var 5..25: INT____00019 :: is_defined_var :: var_is_introduced;\n\
00110 var 1..21: INT____00021 :: is_defined_var :: var_is_introduced;\n\
00111 var 1..5: INT____00022 :: is_defined_var :: var_is_introduced;\n\
00112 var 1..21: INT____00023 :: is_defined_var :: var_is_introduced;\n\
00113 var 2..22: INT____00025 :: is_defined_var :: var_is_introduced;\n\
00114 var 1..5: INT____00026 :: is_defined_var :: var_is_introduced;\n\
00115 var 2..22: INT____00027 :: is_defined_var :: var_is_introduced;\n\
00116 var 3..23: INT____00029 :: is_defined_var :: var_is_introduced;\n\
00117 var 1..5: INT____00030 :: is_defined_var :: var_is_introduced;\n\
00118 var 3..23: INT____00031 :: is_defined_var :: var_is_introduced;\n\
00119 var 4..24: INT____00033 :: is_defined_var :: var_is_introduced;\n\
00120 var 1..5: INT____00034 :: is_defined_var :: var_is_introduced;\n\
00121 var 4..24: INT____00035 :: is_defined_var :: var_is_introduced;\n\
00122 var 5..25: INT____00037 :: is_defined_var :: var_is_introduced;\n\
00123 var 1..5: INT____00038 :: is_defined_var :: var_is_introduced;\n\
00124 var 5..25: INT____00039 :: is_defined_var :: var_is_introduced;\n\
00125 var 1..21: INT____00041 :: is_defined_var :: var_is_introduced;\n\
00126 var 1..5: INT____00042 :: is_defined_var :: var_is_introduced;\n\
00127 var 1..21: INT____00043 :: is_defined_var :: var_is_introduced;\n\
00128 var 2..22: INT____00045 :: is_defined_var :: var_is_introduced;\n\
00129 var 1..5: INT____00046 :: is_defined_var :: var_is_introduced;\n\
00130 var 2..22: INT____00047 :: is_defined_var :: var_is_introduced;\n\
00131 var 3..23: INT____00049 :: is_defined_var :: var_is_introduced;\n\
00132 var 1..5: INT____00050 :: is_defined_var :: var_is_introduced;\n\
00133 var 3..23: INT____00051 :: is_defined_var :: var_is_introduced;\n\
00134 var 4..24: INT____00053 :: is_defined_var :: var_is_introduced;\n\
00135 var 1..5: INT____00054 :: is_defined_var :: var_is_introduced;\n\
00136 var 4..24: INT____00055 :: is_defined_var :: var_is_introduced;\n\
00137 var 5..25: INT____00057 :: is_defined_var :: var_is_introduced;\n\
00138 var 1..5: INT____00058 :: is_defined_var :: var_is_introduced;\n\
00139 var 5..25: INT____00059 :: is_defined_var :: var_is_introduced;\n\
00140 var 1..21: INT____00061 :: is_defined_var :: var_is_introduced;\n\
00141 var 1..5: INT____00062 :: is_defined_var :: var_is_introduced;\n\
00142 var 1..21: INT____00063 :: is_defined_var :: var_is_introduced;\n\
00143 var 2..22: INT____00065 :: is_defined_var :: var_is_introduced;\n\
00144 var 1..5: INT____00066 :: is_defined_var :: var_is_introduced;\n\
00145 var 2..22: INT____00067 :: is_defined_var :: var_is_introduced;\n\
00146 var 3..23: INT____00069 :: is_defined_var :: var_is_introduced;\n\
00147 var 1..5: INT____00070 :: is_defined_var :: var_is_introduced;\n\
00148 var 3..23: INT____00071 :: is_defined_var :: var_is_introduced;\n\
00149 var 4..24: INT____00073 :: is_defined_var :: var_is_introduced;\n\
00150 var 1..5: INT____00074 :: is_defined_var :: var_is_introduced;\n\
00151 var 4..24: INT____00075 :: is_defined_var :: var_is_introduced;\n\
00152 var 5..25: INT____00077 :: is_defined_var :: var_is_introduced;\n\
00153 var 1..5: INT____00078 :: is_defined_var :: var_is_introduced;\n\
00154 var 5..25: INT____00079 :: is_defined_var :: var_is_introduced;\n\
00155 var 1..21: INT____00081 :: is_defined_var :: var_is_introduced;\n\
00156 var 1..5: INT____00082 :: is_defined_var :: var_is_introduced;\n\
00157 var 1..21: INT____00083 :: is_defined_var :: var_is_introduced;\n\
00158 var 2..22: INT____00085 :: is_defined_var :: var_is_introduced;\n\
00159 var 1..5: INT____00086 :: is_defined_var :: var_is_introduced;\n\
00160 var 2..22: INT____00087 :: is_defined_var :: var_is_introduced;\n\
00161 var 3..23: INT____00089 :: is_defined_var :: var_is_introduced;\n\
00162 var 1..5: INT____00090 :: is_defined_var :: var_is_introduced;\n\
00163 var 3..23: INT____00091 :: is_defined_var :: var_is_introduced;\n\
00164 var 4..24: INT____00093 :: is_defined_var :: var_is_introduced;\n\
00165 var 1..5: INT____00094 :: is_defined_var :: var_is_introduced;\n\
00166 var 4..24: INT____00095 :: is_defined_var :: var_is_introduced;\n\
00167 var 5..25: INT____00097 :: is_defined_var :: var_is_introduced;\n\
00168 var 1..5: INT____00098 :: is_defined_var :: var_is_introduced;\n\
00169 var 5..25: INT____00099 :: is_defined_var :: var_is_introduced;\n\
00170 array [1..25] of var 1..5: q :: output_array([1..5, 1..5]);\n\
00171 constraint all_different_int([q[1], q[2], q[3], q[4], q[5]]);\n\
00172 constraint all_different_int([q[1], q[6], q[11], q[16], q[21]]);\n\
00173 constraint all_different_int([q[2], q[7], q[12], q[17], q[22]]);\n\
00174 constraint all_different_int([q[3], q[8], q[13], q[18], q[23]]);\n\
00175 constraint all_different_int([q[4], q[9], q[14], q[19], q[24]]);\n\
00176 constraint all_different_int([q[5], q[10], q[15], q[20], q[25]]);\n\
00177 constraint all_different_int([q[6], q[7], q[8], q[9], q[10]]);\n\
00178 constraint all_different_int([q[11], q[12], q[13], q[14], q[15]]);\n\
00179 constraint all_different_int([q[16], q[17], q[18], q[19], q[20]]);\n\
00180 constraint all_different_int([q[21], q[22], q[23], q[24], q[25]]);\n\
00181 constraint array_var_int_element(INT____00001, q, INT____00002) :: defines_var(INT____00002);\n\
00182 constraint array_var_int_element(INT____00003, q, 1);\n\
00183 constraint array_var_int_element(INT____00005, q, INT____00006) :: defines_var(INT____00006);\n\
00184 constraint array_var_int_element(INT____00007, q, 1);\n\
00185 constraint array_var_int_element(INT____00009, q, INT____00010) :: defines_var(INT____00010);\n\
00186 constraint array_var_int_element(INT____00011, q, 1);\n\
00187 constraint array_var_int_element(INT____00013, q, INT____00014) :: defines_var(INT____00014);\n\
00188 constraint array_var_int_element(INT____00015, q, 1);\n\
00189 constraint array_var_int_element(INT____00017, q, INT____00018) :: defines_var(INT____00018);\n\
00190 constraint array_var_int_element(INT____00019, q, 1);\n\
00191 constraint array_var_int_element(INT____00021, q, INT____00022) :: defines_var(INT____00022);\n\
00192 constraint array_var_int_element(INT____00023, q, 2);\n\
00193 constraint array_var_int_element(INT____00025, q, INT____00026) :: defines_var(INT____00026);\n\
00194 constraint array_var_int_element(INT____00027, q, 2);\n\
00195 constraint array_var_int_element(INT____00029, q, INT____00030) :: defines_var(INT____00030);\n\
00196 constraint array_var_int_element(INT____00031, q, 2);\n\
00197 constraint array_var_int_element(INT____00033, q, INT____00034) :: defines_var(INT____00034);\n\
00198 constraint array_var_int_element(INT____00035, q, 2);\n\
00199 constraint array_var_int_element(INT____00037, q, INT____00038) :: defines_var(INT____00038);\n\
00200 constraint array_var_int_element(INT____00039, q, 2);\n\
00201 constraint array_var_int_element(INT____00041, q, INT____00042) :: defines_var(INT____00042);\n\
00202 constraint array_var_int_element(INT____00043, q, 3);\n\
00203 constraint array_var_int_element(INT____00045, q, INT____00046) :: defines_var(INT____00046);\n\
00204 constraint array_var_int_element(INT____00047, q, 3);\n\
00205 constraint array_var_int_element(INT____00049, q, INT____00050) :: defines_var(INT____00050);\n\
00206 constraint array_var_int_element(INT____00051, q, 3);\n\
00207 constraint array_var_int_element(INT____00053, q, INT____00054) :: defines_var(INT____00054);\n\
00208 constraint array_var_int_element(INT____00055, q, 3);\n\
00209 constraint array_var_int_element(INT____00057, q, INT____00058) :: defines_var(INT____00058);\n\
00210 constraint array_var_int_element(INT____00059, q, 3);\n\
00211 constraint array_var_int_element(INT____00061, q, INT____00062) :: defines_var(INT____00062);\n\
00212 constraint array_var_int_element(INT____00063, q, 4);\n\
00213 constraint array_var_int_element(INT____00065, q, INT____00066) :: defines_var(INT____00066);\n\
00214 constraint array_var_int_element(INT____00067, q, 4);\n\
00215 constraint array_var_int_element(INT____00069, q, INT____00070) :: defines_var(INT____00070);\n\
00216 constraint array_var_int_element(INT____00071, q, 4);\n\
00217 constraint array_var_int_element(INT____00073, q, INT____00074) :: defines_var(INT____00074);\n\
00218 constraint array_var_int_element(INT____00075, q, 4);\n\
00219 constraint array_var_int_element(INT____00077, q, INT____00078) :: defines_var(INT____00078);\n\
00220 constraint array_var_int_element(INT____00079, q, 4);\n\
00221 constraint array_var_int_element(INT____00081, q, INT____00082) :: defines_var(INT____00082);\n\
00222 constraint array_var_int_element(INT____00083, q, 5);\n\
00223 constraint array_var_int_element(INT____00085, q, INT____00086) :: defines_var(INT____00086);\n\
00224 constraint array_var_int_element(INT____00087, q, 5);\n\
00225 constraint array_var_int_element(INT____00089, q, INT____00090) :: defines_var(INT____00090);\n\
00226 constraint array_var_int_element(INT____00091, q, 5);\n\
00227 constraint array_var_int_element(INT____00093, q, INT____00094) :: defines_var(INT____00094);\n\
00228 constraint array_var_int_element(INT____00095, q, 5);\n\
00229 constraint array_var_int_element(INT____00097, q, INT____00098) :: defines_var(INT____00098);\n\
00230 constraint array_var_int_element(INT____00099, q, 5);\n\
00231 constraint int_eq(q[1], 1);\n\
00232 constraint int_eq(q[7], 2);\n\
00233 constraint int_eq(q[13], 3);\n\
00234 constraint int_eq(q[19], 4);\n\
00235 constraint int_eq(q[25], 5);\n\
00236 constraint int_lin_eq([-1, 5], [INT____00001, q[1]], 4) :: defines_var(INT____00001) :: domain;\n\
00237 constraint int_lin_eq([-1, 5], [INT____00003, INT____00002], 4) :: defines_var(INT____00003) :: domain;\n\
00238 constraint int_lin_eq([-1, 5], [INT____00005, q[6]], 3) :: defines_var(INT____00005) :: domain;\n\
00239 constraint int_lin_eq([-1, 5], [INT____00007, INT____00006], 3) :: defines_var(INT____00007) :: domain;\n\
00240 constraint int_lin_eq([-1, 5], [INT____00009, q[11]], 2) :: defines_var(INT____00009) :: domain;\n\
00241 constraint int_lin_eq([-1, 5], [INT____00011, INT____00010], 2) :: defines_var(INT____00011) :: domain;\n\
00242 constraint int_lin_eq([-1, 5], [INT____00013, q[16]], 1) :: defines_var(INT____00013) :: domain;\n\
00243 constraint int_lin_eq([-1, 5], [INT____00015, INT____00014], 1) :: defines_var(INT____00015) :: domain;\n\
00244 constraint int_lin_eq([-1, 5], [INT____00017, q[21]], 0) :: defines_var(INT____00017) :: domain;\n\
00245 constraint int_lin_eq([-1, 5], [INT____00019, INT____00018], 0) :: defines_var(INT____00019) :: domain;\n\
00246 constraint int_lin_eq([-1, 5], [INT____00021, q[2]], 4) :: defines_var(INT____00021) :: domain;\n\
00247 constraint int_lin_eq([-1, 5], [INT____00023, INT____00022], 4) :: defines_var(INT____00023) :: domain;\n\
00248 constraint int_lin_eq([-1, 5], [INT____00025, q[7]], 3) :: defines_var(INT____00025) :: domain;\n\
00249 constraint int_lin_eq([-1, 5], [INT____00027, INT____00026], 3) :: defines_var(INT____00027) :: domain;\n\
00250 constraint int_lin_eq([-1, 5], [INT____00029, q[12]], 2) :: defines_var(INT____00029) :: domain;\n\
00251 constraint int_lin_eq([-1, 5], [INT____00031, INT____00030], 2) :: defines_var(INT____00031) :: domain;\n\
00252 constraint int_lin_eq([-1, 5], [INT____00033, q[17]], 1) :: defines_var(INT____00033) :: domain;\n\
00253 constraint int_lin_eq([-1, 5], [INT____00035, INT____00034], 1) :: defines_var(INT____00035) :: domain;\n\
00254 constraint int_lin_eq([-1, 5], [INT____00037, q[22]], 0) :: defines_var(INT____00037) :: domain;\n\
00255 constraint int_lin_eq([-1, 5], [INT____00039, INT____00038], 0) :: defines_var(INT____00039) :: domain;\n\
00256 constraint int_lin_eq([-1, 5], [INT____00041, q[3]], 4) :: defines_var(INT____00041) :: domain;\n")+"\
00257 constraint int_lin_eq([-1, 5], [INT____00043, INT____00042], 4) :: defines_var(INT____00043) :: domain;\n\
00258 constraint int_lin_eq([-1, 5], [INT____00045, q[8]], 3) :: defines_var(INT____00045) :: domain;\n\
00259 constraint int_lin_eq([-1, 5], [INT____00047, INT____00046], 3) :: defines_var(INT____00047) :: domain;\n\
00260 constraint int_lin_eq([-1, 5], [INT____00049, q[13]], 2) :: defines_var(INT____00049) :: domain;\n\
00261 constraint int_lin_eq([-1, 5], [INT____00051, INT____00050], 2) :: defines_var(INT____00051) :: domain;\n\
00262 constraint int_lin_eq([-1, 5], [INT____00053, q[18]], 1) :: defines_var(INT____00053) :: domain;\n\
00263 constraint int_lin_eq([-1, 5], [INT____00055, INT____00054], 1) :: defines_var(INT____00055) :: domain;\n\
00264 constraint int_lin_eq([-1, 5], [INT____00057, q[23]], 0) :: defines_var(INT____00057) :: domain;\n\
00265 constraint int_lin_eq([-1, 5], [INT____00059, INT____00058], 0) :: defines_var(INT____00059) :: domain;\n\
00266 constraint int_lin_eq([-1, 5], [INT____00061, q[4]], 4) :: defines_var(INT____00061) :: domain;\n\
00267 constraint int_lin_eq([-1, 5], [INT____00063, INT____00062], 4) :: defines_var(INT____00063) :: domain;\n\
00268 constraint int_lin_eq([-1, 5], [INT____00065, q[9]], 3) :: defines_var(INT____00065) :: domain;\n\
00269 constraint int_lin_eq([-1, 5], [INT____00067, INT____00066], 3) :: defines_var(INT____00067) :: domain;\n\
00270 constraint int_lin_eq([-1, 5], [INT____00069, q[14]], 2) :: defines_var(INT____00069) :: domain;\n\
00271 constraint int_lin_eq([-1, 5], [INT____00071, INT____00070], 2) :: defines_var(INT____00071) :: domain;\n\
00272 constraint int_lin_eq([-1, 5], [INT____00073, q[19]], 1) :: defines_var(INT____00073) :: domain;\n\
00273 constraint int_lin_eq([-1, 5], [INT____00075, INT____00074], 1) :: defines_var(INT____00075) :: domain;\n\
00274 constraint int_lin_eq([-1, 5], [INT____00077, q[24]], 0) :: defines_var(INT____00077) :: domain;\n\
00275 constraint int_lin_eq([-1, 5], [INT____00079, INT____00078], 0) :: defines_var(INT____00079) :: domain;\n\
00276 constraint int_lin_eq([-1, 5], [INT____00081, q[5]], 4) :: defines_var(INT____00081) :: domain;\n\
00277 constraint int_lin_eq([-1, 5], [INT____00083, INT____00082], 4) :: defines_var(INT____00083) :: domain;\n\
00278 constraint int_lin_eq([-1, 5], [INT____00085, q[10]], 3) :: defines_var(INT____00085) :: domain;\n\
00279 constraint int_lin_eq([-1, 5], [INT____00087, INT____00086], 3) :: defines_var(INT____00087) :: domain;\n\
00280 constraint int_lin_eq([-1, 5], [INT____00089, q[15]], 2) :: defines_var(INT____00089) :: domain;\n\
00281 constraint int_lin_eq([-1, 5], [INT____00091, INT____00090], 2) :: defines_var(INT____00091) :: domain;\n\
00282 constraint int_lin_eq([-1, 5], [INT____00093, q[20]], 1) :: defines_var(INT____00093) :: domain;\n\
00283 constraint int_lin_eq([-1, 5], [INT____00095, INT____00094], 1) :: defines_var(INT____00095) :: domain;\n\
00284 constraint int_lin_eq([-1, 5], [INT____00097, q[25]], 0) :: defines_var(INT____00097) :: domain;\n\
00285 constraint int_lin_eq([-1, 5], [INT____00099, INT____00098], 0) :: defines_var(INT____00099) :: domain;\n\
00286 constraint int_lt(q[1], 3);\n\
00287 constraint int_lt(q[6], 4);\n\
00288 constraint int_lt(q[11], 5);\n\
00289 solve :: int_search(q, input_order, indomain, complete) satisfy;\n\
00290 ", "q = array2d(1..5, 1..5, [1, 4, 5, 2, 3, 3, 2, 1, 5, 4, 4, 5, 3, 1, 2, 5, 3, 2, 4, 1, 2, 1, 4, 3, 5]);\n\
00291 ----------\n\
00292 ");
00293 }
00294 };
00295
00296 Create c;
00297 }
00298
00299 }}
00300
00301