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("tenpenki::3",
00046 std::string("predicate bool_lin_ge(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00047 predicate bool_lin_gt(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00048 predicate bool_lin_lt(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00049 predicate bool_lin_ne(array [int] of int: a, array [int] of var bool: x, var int: c);\n\
00050 var bool: BOOL____00002 :: is_defined_var :: var_is_introduced;\n\
00051 var bool: BOOL____00003 :: is_defined_var :: var_is_introduced;\n\
00052 var bool: BOOL____00005 :: is_defined_var :: var_is_introduced;\n\
00053 var bool: BOOL____00006 :: is_defined_var :: var_is_introduced;\n\
00054 var bool: BOOL____00007 :: is_defined_var :: var_is_introduced;\n\
00055 var bool: BOOL____00008 :: is_defined_var :: var_is_introduced;\n\
00056 var bool: BOOL____00010 :: is_defined_var :: var_is_introduced;\n\
00057 var bool: BOOL____00011 :: is_defined_var :: var_is_introduced;\n\
00058 var bool: BOOL____00012 :: is_defined_var :: var_is_introduced;\n\
00059 var bool: BOOL____00013 :: is_defined_var :: var_is_introduced;\n\
00060 var bool: BOOL____00014 :: is_defined_var :: var_is_introduced;\n\
00061 var bool: BOOL____00015 :: is_defined_var :: var_is_introduced;\n\
00062 var bool: BOOL____00017 :: is_defined_var :: var_is_introduced;\n\
00063 var bool: BOOL____00018 :: is_defined_var :: var_is_introduced;\n\
00064 var bool: BOOL____00019 :: is_defined_var :: var_is_introduced;\n\
00065 var bool: BOOL____00020 :: is_defined_var :: var_is_introduced;\n\
00066 var bool: BOOL____00021 :: is_defined_var :: var_is_introduced;\n\
00067 var bool: BOOL____00022 :: is_defined_var :: var_is_introduced;\n\
00068 var bool: BOOL____00024 :: is_defined_var :: var_is_introduced;\n\
00069 var bool: BOOL____00025 :: is_defined_var :: var_is_introduced;\n\
00070 var bool: BOOL____00028 :: is_defined_var :: var_is_introduced;\n\
00071 var bool: BOOL____00029 :: is_defined_var :: var_is_introduced;\n\
00072 var bool: BOOL____00031 :: is_defined_var :: var_is_introduced;\n\
00073 var bool: BOOL____00032 :: is_defined_var :: var_is_introduced;\n\
00074 var bool: BOOL____00033 :: is_defined_var :: var_is_introduced;\n\
00075 var bool: BOOL____00034 :: is_defined_var :: var_is_introduced;\n\
00076 var bool: BOOL____00036 :: is_defined_var :: var_is_introduced;\n\
00077 var bool: BOOL____00037 :: is_defined_var :: var_is_introduced;\n\
00078 var bool: BOOL____00038 :: is_defined_var :: var_is_introduced;\n\
00079 var bool: BOOL____00039 :: is_defined_var :: var_is_introduced;\n\
00080 var bool: BOOL____00040 :: is_defined_var :: var_is_introduced;\n\
00081 var bool: BOOL____00041 :: is_defined_var :: var_is_introduced;\n\
00082 var bool: BOOL____00043 :: is_defined_var :: var_is_introduced;\n\
00083 var bool: BOOL____00044 :: is_defined_var :: var_is_introduced;\n\
00084 var bool: BOOL____00045 :: is_defined_var :: var_is_introduced;\n\
00085 var bool: BOOL____00046 :: is_defined_var :: var_is_introduced;\n\
00086 var bool: BOOL____00047 :: is_defined_var :: var_is_introduced;\n\
00087 var bool: BOOL____00048 :: is_defined_var :: var_is_introduced;\n\
00088 var bool: BOOL____00050 :: is_defined_var :: var_is_introduced;\n\
00089 var bool: BOOL____00051 :: is_defined_var :: var_is_introduced;\n\
00090 var bool: BOOL____00055 :: is_defined_var :: var_is_introduced;\n\
00091 var bool: BOOL____00056 :: is_defined_var :: var_is_introduced;\n\
00092 var bool: BOOL____00058 :: is_defined_var :: var_is_introduced;\n\
00093 var bool: BOOL____00059 :: is_defined_var :: var_is_introduced;\n\
00094 var bool: BOOL____00061 :: is_defined_var :: var_is_introduced;\n\
00095 var bool: BOOL____00062 :: is_defined_var :: var_is_introduced;\n\
00096 var bool: BOOL____00066 :: is_defined_var :: var_is_introduced;\n\
00097 var bool: BOOL____00067 :: is_defined_var :: var_is_introduced;\n\
00098 var bool: BOOL____00069 :: is_defined_var :: var_is_introduced;\n\
00099 var bool: BOOL____00070 :: is_defined_var :: var_is_introduced;\n\
00100 var bool: BOOL____00071 :: is_defined_var :: var_is_introduced;\n\
00101 var bool: BOOL____00072 :: is_defined_var :: var_is_introduced;\n\
00102 var bool: BOOL____00074 :: is_defined_var :: var_is_introduced;\n\
00103 var bool: BOOL____00075 :: is_defined_var :: var_is_introduced;\n\
00104 var bool: BOOL____00076 :: is_defined_var :: var_is_introduced;\n\
00105 var bool: BOOL____00077 :: is_defined_var :: var_is_introduced;\n\
00106 var bool: BOOL____00078 :: is_defined_var :: var_is_introduced;\n\
00107 var bool: BOOL____00079 :: is_defined_var :: var_is_introduced;\n\
00108 var bool: BOOL____00081 :: is_defined_var :: var_is_introduced;\n\
00109 var bool: BOOL____00082 :: is_defined_var :: var_is_introduced;\n\
00110 var bool: BOOL____00083 :: is_defined_var :: var_is_introduced;\n\
00111 var bool: BOOL____00084 :: is_defined_var :: var_is_introduced;\n\
00112 var bool: BOOL____00085 :: is_defined_var :: var_is_introduced;\n\
00113 var bool: BOOL____00086 :: is_defined_var :: var_is_introduced;\n\
00114 var bool: BOOL____00088 :: is_defined_var :: var_is_introduced;\n\
00115 var bool: BOOL____00089 :: is_defined_var :: var_is_introduced;\n\
00116 var bool: BOOL____00094 :: is_defined_var :: var_is_introduced;\n\
00117 var bool: BOOL____00095 :: is_defined_var :: var_is_introduced;\n\
00118 var bool: BOOL____00097 :: is_defined_var :: var_is_introduced;\n\
00119 var bool: BOOL____00098 :: is_defined_var :: var_is_introduced;\n\
00120 var bool: BOOL____00104 :: is_defined_var :: var_is_introduced;\n\
00121 var bool: BOOL____00105 :: is_defined_var :: var_is_introduced;\n\
00122 var bool: BOOL____00107 :: is_defined_var :: var_is_introduced;\n\
00123 var bool: BOOL____00108 :: is_defined_var :: var_is_introduced;\n\
00124 var bool: BOOL____00112 :: is_defined_var :: var_is_introduced;\n\
00125 var bool: BOOL____00113 :: is_defined_var :: var_is_introduced;\n\
00126 var bool: BOOL____00115 :: is_defined_var :: var_is_introduced;\n\
00127 var bool: BOOL____00116 :: is_defined_var :: var_is_introduced;\n\
00128 var bool: BOOL____00117 :: is_defined_var :: var_is_introduced;\n\
00129 var bool: BOOL____00118 :: is_defined_var :: var_is_introduced;\n\
00130 var bool: BOOL____00119 :: is_defined_var :: var_is_introduced;\n\
00131 var bool: BOOL____00120 :: is_defined_var :: var_is_introduced;\n\
00132 var bool: BOOL____00122 :: is_defined_var :: var_is_introduced;\n\
00133 var bool: BOOL____00123 :: is_defined_var :: var_is_introduced;\n\
00134 var bool: BOOL____00124 :: is_defined_var :: var_is_introduced;\n\
00135 var bool: BOOL____00125 :: is_defined_var :: var_is_introduced;\n\
00136 var bool: BOOL____00126 :: is_defined_var :: var_is_introduced;\n\
00137 var bool: BOOL____00127 :: is_defined_var :: var_is_introduced;\n\
00138 var bool: BOOL____00129 :: is_defined_var :: var_is_introduced;\n\
00139 var bool: BOOL____00130 :: is_defined_var :: var_is_introduced;\n\
00140 var bool: BOOL____00131 :: is_defined_var :: var_is_introduced;\n\
00141 var bool: BOOL____00132 :: is_defined_var :: var_is_introduced;\n\
00142 var bool: BOOL____00133 :: is_defined_var :: var_is_introduced;\n\
00143 var bool: BOOL____00134 :: is_defined_var :: var_is_introduced;\n\
00144 var bool: BOOL____00136 :: is_defined_var :: var_is_introduced;\n\
00145 var bool: BOOL____00137 :: is_defined_var :: var_is_introduced;\n\
00146 var bool: BOOL____00140 :: is_defined_var :: var_is_introduced;\n\
00147 var bool: BOOL____00141 :: is_defined_var :: var_is_introduced;\n\
00148 var bool: BOOL____00143 :: is_defined_var :: var_is_introduced;\n\
00149 var bool: BOOL____00144 :: is_defined_var :: var_is_introduced;\n\
00150 var bool: BOOL____00146 :: is_defined_var :: var_is_introduced;\n\
00151 var bool: BOOL____00147 :: is_defined_var :: var_is_introduced;\n\
00152 var bool: BOOL____00148 :: is_defined_var :: var_is_introduced;\n\
00153 var bool: BOOL____00149 :: is_defined_var :: var_is_introduced;\n\
00154 var bool: BOOL____00150 :: is_defined_var :: var_is_introduced;\n\
00155 var bool: BOOL____00151 :: is_defined_var :: var_is_introduced;\n\
00156 var bool: BOOL____00153 :: is_defined_var :: var_is_introduced;\n\
00157 var bool: BOOL____00154 :: is_defined_var :: var_is_introduced;\n\
00158 var bool: BOOL____00155 :: is_defined_var :: var_is_introduced;\n\
00159 var bool: BOOL____00156 :: is_defined_var :: var_is_introduced;\n\
00160 var bool: BOOL____00157 :: is_defined_var :: var_is_introduced;\n\
00161 var bool: BOOL____00158 :: is_defined_var :: var_is_introduced;\n\
00162 var bool: BOOL____00160 :: is_defined_var :: var_is_introduced;\n\
00163 var bool: BOOL____00161 :: is_defined_var :: var_is_introduced;\n\
00164 var bool: BOOL____00164 :: is_defined_var :: var_is_introduced;\n\
00165 var bool: BOOL____00165 :: is_defined_var :: var_is_introduced;\n\
00166 var bool: BOOL____00167 :: is_defined_var :: var_is_introduced;\n\
00167 var bool: BOOL____00168 :: is_defined_var :: var_is_introduced;\n\
00168 var bool: BOOL____00170 :: is_defined_var :: var_is_introduced;\n\
00169 var bool: BOOL____00171 :: is_defined_var :: var_is_introduced;\n\
00170 var bool: BOOL____00172 :: is_defined_var :: var_is_introduced;\n\
00171 var bool: BOOL____00173 :: is_defined_var :: var_is_introduced;\n\
00172 var bool: BOOL____00174 :: is_defined_var :: var_is_introduced;\n\
00173 var bool: BOOL____00175 :: is_defined_var :: var_is_introduced;\n\
00174 var bool: BOOL____00177 :: is_defined_var :: var_is_introduced;\n\
00175 var bool: BOOL____00178 :: is_defined_var :: var_is_introduced;\n\
00176 var bool: BOOL____00179 :: is_defined_var :: var_is_introduced;\n\
00177 var bool: BOOL____00180 :: is_defined_var :: var_is_introduced;\n\
00178 var bool: BOOL____00181 :: is_defined_var :: var_is_introduced;\n\
00179 var bool: BOOL____00182 :: is_defined_var :: var_is_introduced;\n\
00180 var bool: BOOL____00184 :: is_defined_var :: var_is_introduced;\n\
00181 var bool: BOOL____00185 :: is_defined_var :: var_is_introduced;\n\
00182 array [1..25] of var bool: a :: output_array([1..5, 1..5]);\n\
00183 array [1..2] of var 1..5: s____00001;\n\
00184 array [1..2] of var 1..5: s____00027;\n\
00185 array [1..1] of var 1..5: s____00053;\n\
00186 array [1..2] of var 1..5: s____00065;\n\
00187 array [1..1] of var 1..5: s____00091;\n\
00188 array [1..1] of var 1..5: s____00101;\n\
00189 array [1..2] of var 1..5: s____00111;\n\
00190 array [1..2] of var 1..5: s____00139;\n\
00191 array [1..2] of var 1..5: s____00163;\n\
00192 constraint array_bool_and([BOOL____00006, BOOL____00007], BOOL____00008) :: defines_var(BOOL____00008);\n\
00193 constraint array_bool_and([BOOL____00010, BOOL____00011], BOOL____00014) :: defines_var(BOOL____00014);\n\
00194 constraint array_bool_and([BOOL____00012, BOOL____00013], BOOL____00015) :: defines_var(BOOL____00015);\n\
00195 constraint array_bool_and([BOOL____00017, BOOL____00018], BOOL____00021) :: defines_var(BOOL____00021);\n\
00196 constraint array_bool_and([BOOL____00019, BOOL____00020], BOOL____00022) :: defines_var(BOOL____00022);\n\
00197 constraint array_bool_and([BOOL____00032, BOOL____00033], BOOL____00034) :: defines_var(BOOL____00034);\n\
00198 constraint array_bool_and([BOOL____00036, BOOL____00037], BOOL____00040) :: defines_var(BOOL____00040);\n\
00199 constraint array_bool_and([BOOL____00038, BOOL____00039], BOOL____00041) :: defines_var(BOOL____00041);\n\
00200 constraint array_bool_and([BOOL____00043, BOOL____00044], BOOL____00047) :: defines_var(BOOL____00047);\n\
00201 constraint array_bool_and([BOOL____00045, BOOL____00046], BOOL____00048) :: defines_var(BOOL____00048);\n\
00202 constraint array_bool_and([BOOL____00055, BOOL____00056], a[8]);\n\
00203 constraint array_bool_and([BOOL____00058, BOOL____00059], a[13]);\n\
00204 constraint array_bool_and([BOOL____00061, BOOL____00062], a[18]);\n\
00205 constraint array_bool_and([BOOL____00070, BOOL____00071], BOOL____00072) :: defines_var(BOOL____00072);\n\
00206 constraint array_bool_and([BOOL____00074, BOOL____00075], BOOL____00078) :: defines_var(BOOL____00078);\n\
00207 constraint array_bool_and([BOOL____00076, BOOL____00077], BOOL____00079) :: defines_var(BOOL____00079);\n\
00208 constraint array_bool_and([BOOL____00081, BOOL____00082], BOOL____00085) :: defines_var(BOOL____00085);\n\
00209 constraint array_bool_and([BOOL____00083, BOOL____00084], BOOL____00086) :: defines_var(BOOL____00086);\n\
00210 constraint array_bool_and([BOOL____00094, BOOL____00095], a[11]);\n\
00211 constraint array_bool_and([BOOL____00097, BOOL____00098], a[16]);\n\
00212 constraint array_bool_and([BOOL____00104, BOOL____00105], a[23]);\n\
00213 constraint array_bool_and([BOOL____00107, BOOL____00108], a[24]);\n\
00214 constraint array_bool_and([BOOL____00115, BOOL____00116], BOOL____00119) :: defines_var(BOOL____00119);\n\
00215 constraint array_bool_and([BOOL____00117, BOOL____00118], BOOL____00120) :: defines_var(BOOL____00120);\n\
00216 constraint array_bool_and([BOOL____00122, BOOL____00123], BOOL____00126) :: defines_var(BOOL____00126);\n\
00217 constraint array_bool_and([BOOL____00124, BOOL____00125], BOOL____00127) :: defines_var(BOOL____00127);\n\
00218 constraint array_bool_and([BOOL____00129, BOOL____00130], BOOL____00133) :: defines_var(BOOL____00133);\n\
00219 constraint array_bool_and([BOOL____00131, BOOL____00132], BOOL____00134) :: defines_var(BOOL____00134);\n\
00220 constraint array_bool_and([BOOL____00146, BOOL____00147], BOOL____00150) :: defines_var(BOOL____00150);\n\
00221 constraint array_bool_and([BOOL____00148, BOOL____00149], BOOL____00151) :: defines_var(BOOL____00151);\n\
00222 constraint array_bool_and([BOOL____00153, BOOL____00154], BOOL____00157) :: defines_var(BOOL____00157);\n\
00223 constraint array_bool_and([BOOL____00155, BOOL____00156], BOOL____00158) :: defines_var(BOOL____00158);\n\
00224 constraint array_bool_and([BOOL____00170, BOOL____00171], BOOL____00174) :: defines_var(BOOL____00174);\n\
00225 constraint array_bool_and([BOOL____00172, BOOL____00173], BOOL____00175) :: defines_var(BOOL____00175);\n\
00226 constraint array_bool_and([BOOL____00177, BOOL____00178], BOOL____00181) :: defines_var(BOOL____00181);\n\
00227 constraint array_bool_and([BOOL____00179, BOOL____00180], BOOL____00182) :: defines_var(BOOL____00182);\n\
00228 constraint array_bool_or([BOOL____00003, BOOL____00002], a[5]);\n\
00229 constraint array_bool_or([BOOL____00005, BOOL____00008], a[10]);\n\
00230 constraint array_bool_or([BOOL____00014, BOOL____00015], a[15]);\n\
00231 constraint array_bool_or([BOOL____00021, BOOL____00022], a[20]);\n\
00232 constraint array_bool_or([BOOL____00025, BOOL____00024], a[25]);\n\
00233 constraint array_bool_or([BOOL____00029, BOOL____00028], a[4]);\n\
00234 constraint array_bool_or([BOOL____00031, BOOL____00034], a[9]);\n\
00235 constraint array_bool_or([BOOL____00040, BOOL____00041], a[14]);\n\
00236 constraint array_bool_or([BOOL____00047, BOOL____00048], a[19]);\n\
00237 constraint array_bool_or([BOOL____00051, BOOL____00050], a[24]);\n\
00238 constraint array_bool_or([BOOL____00067, BOOL____00066], a[2]);\n\
00239 constraint array_bool_or([BOOL____00069, BOOL____00072], a[7]);\n\
00240 constraint array_bool_or([BOOL____00078, BOOL____00079], a[12]);\n\
00241 constraint array_bool_or([BOOL____00085, BOOL____00086], a[17]);\n\
00242 constraint array_bool_or([BOOL____00089, BOOL____00088], a[22]);\n\
00243 constraint array_bool_or([BOOL____00113, BOOL____00112], a[16]);\n\
00244 constraint array_bool_or([BOOL____00119, BOOL____00120], a[17]);\n\
00245 constraint array_bool_or([BOOL____00126, BOOL____00127], a[18]);\n\
00246 constraint array_bool_or([BOOL____00133, BOOL____00134], a[19]);\n")+"\
00247 constraint array_bool_or([BOOL____00137, BOOL____00136], a[20]);\n\
00248 constraint array_bool_or([BOOL____00141, BOOL____00140], a[6]);\n\
00249 constraint array_bool_or([BOOL____00144, BOOL____00143], a[7]);\n\
00250 constraint array_bool_or([BOOL____00150, BOOL____00151], a[8]);\n\
00251 constraint array_bool_or([BOOL____00157, BOOL____00158], a[9]);\n\
00252 constraint array_bool_or([BOOL____00161, BOOL____00160], a[10]);\n\
00253 constraint array_bool_or([BOOL____00165, BOOL____00164], a[1]);\n\
00254 constraint array_bool_or([BOOL____00168, BOOL____00167], a[2]);\n\
00255 constraint array_bool_or([BOOL____00174, BOOL____00175], a[3]);\n\
00256 constraint array_bool_or([BOOL____00181, BOOL____00182], a[4]);\n\
00257 constraint array_bool_or([BOOL____00185, BOOL____00184], a[5]);\n\
00258 constraint bool_eq(a[11], false);\n\
00259 constraint bool_eq(a[12], false);\n\
00260 constraint bool_eq(a[13], false);\n\
00261 constraint bool_eq(a[14], false);\n\
00262 constraint bool_eq(a[15], false);\n\
00263 constraint int_le_reif(s____00001[1], 1, BOOL____00002) :: defines_var(BOOL____00002);\n\
00264 constraint int_le_reif(s____00001[1], 2, BOOL____00005) :: defines_var(BOOL____00005);\n\
00265 constraint int_le_reif(s____00001[1], 3, BOOL____00010) :: defines_var(BOOL____00010);\n\
00266 constraint int_le_reif(s____00001[1], 4, BOOL____00017) :: defines_var(BOOL____00017);\n\
00267 constraint int_le_reif(s____00001[2], 1, BOOL____00003) :: defines_var(BOOL____00003);\n\
00268 constraint int_le_reif(s____00001[2], 2, BOOL____00006) :: defines_var(BOOL____00006);\n\
00269 constraint int_le_reif(s____00001[2], 3, BOOL____00012) :: defines_var(BOOL____00012);\n\
00270 constraint int_le_reif(s____00001[2], 4, BOOL____00019) :: defines_var(BOOL____00019);\n\
00271 constraint int_le_reif(s____00027[1], 1, BOOL____00028) :: defines_var(BOOL____00028);\n\
00272 constraint int_le_reif(s____00027[1], 2, BOOL____00031) :: defines_var(BOOL____00031);\n\
00273 constraint int_le_reif(s____00027[1], 3, BOOL____00036) :: defines_var(BOOL____00036);\n\
00274 constraint int_le_reif(s____00027[1], 4, BOOL____00043) :: defines_var(BOOL____00043);\n\
00275 constraint int_le_reif(s____00027[2], 1, BOOL____00029) :: defines_var(BOOL____00029);\n\
00276 constraint int_le_reif(s____00027[2], 2, BOOL____00032) :: defines_var(BOOL____00032);\n\
00277 constraint int_le_reif(s____00027[2], 3, BOOL____00038) :: defines_var(BOOL____00038);\n\
00278 constraint int_le_reif(s____00027[2], 4, BOOL____00045) :: defines_var(BOOL____00045);\n\
00279 constraint int_le_reif(s____00053[1], 1, a[3]);\n\
00280 constraint int_le_reif(s____00053[1], 2, BOOL____00055) :: defines_var(BOOL____00055);\n\
00281 constraint int_le_reif(s____00053[1], 3, BOOL____00058) :: defines_var(BOOL____00058);\n\
00282 constraint int_le_reif(s____00053[1], 4, BOOL____00061) :: defines_var(BOOL____00061);\n\
00283 constraint int_le_reif(s____00065[1], 1, BOOL____00066) :: defines_var(BOOL____00066);\n\
00284 constraint int_le_reif(s____00065[1], 2, BOOL____00069) :: defines_var(BOOL____00069);\n\
00285 constraint int_le_reif(s____00065[1], 3, BOOL____00074) :: defines_var(BOOL____00074);\n\
00286 constraint int_le_reif(s____00065[1], 4, BOOL____00081) :: defines_var(BOOL____00081);\n\
00287 constraint int_le_reif(s____00065[2], 1, BOOL____00067) :: defines_var(BOOL____00067);\n\
00288 constraint int_le_reif(s____00065[2], 2, BOOL____00070) :: defines_var(BOOL____00070);\n\
00289 constraint int_le_reif(s____00065[2], 3, BOOL____00076) :: defines_var(BOOL____00076);\n\
00290 constraint int_le_reif(s____00065[2], 4, BOOL____00083) :: defines_var(BOOL____00083);\n\
00291 constraint int_le_reif(s____00091[1], 1, a[1]);\n\
00292 constraint int_le_reif(s____00091[1], 2, a[6]);\n\
00293 constraint int_le_reif(s____00091[1], 3, BOOL____00094) :: defines_var(BOOL____00094);\n\
00294 constraint int_le_reif(s____00091[1], 4, BOOL____00097) :: defines_var(BOOL____00097);\n\
00295 constraint int_le_reif(s____00101[1], 1, a[21]);\n\
00296 constraint int_le_reif(s____00101[1], 2, a[22]);\n\
00297 constraint int_le_reif(s____00101[1], 3, BOOL____00104) :: defines_var(BOOL____00104);\n\
00298 constraint int_le_reif(s____00101[1], 4, BOOL____00107) :: defines_var(BOOL____00107);\n\
00299 constraint int_le_reif(s____00111[1], 1, BOOL____00112) :: defines_var(BOOL____00112);\n\
00300 constraint int_le_reif(s____00111[1], 2, BOOL____00115) :: defines_var(BOOL____00115);\n\
00301 constraint int_le_reif(s____00111[1], 3, BOOL____00122) :: defines_var(BOOL____00122);\n\
00302 constraint int_le_reif(s____00111[1], 4, BOOL____00129) :: defines_var(BOOL____00129);\n\
00303 constraint int_le_reif(s____00111[2], 1, BOOL____00113) :: defines_var(BOOL____00113);\n\
00304 constraint int_le_reif(s____00111[2], 2, BOOL____00117) :: defines_var(BOOL____00117);\n\
00305 constraint int_le_reif(s____00111[2], 3, BOOL____00124) :: defines_var(BOOL____00124);\n\
00306 constraint int_le_reif(s____00111[2], 4, BOOL____00131) :: defines_var(BOOL____00131);\n\
00307 constraint int_le_reif(s____00139[1], 1, BOOL____00140) :: defines_var(BOOL____00140);\n\
00308 constraint int_le_reif(s____00139[1], 2, BOOL____00143) :: defines_var(BOOL____00143);\n\
00309 constraint int_le_reif(s____00139[1], 3, BOOL____00146) :: defines_var(BOOL____00146);\n\
00310 constraint int_le_reif(s____00139[1], 4, BOOL____00153) :: defines_var(BOOL____00153);\n\
00311 constraint int_le_reif(s____00139[2], 1, BOOL____00141) :: defines_var(BOOL____00141);\n\
00312 constraint int_le_reif(s____00139[2], 2, BOOL____00144) :: defines_var(BOOL____00144);\n\
00313 constraint int_le_reif(s____00139[2], 3, BOOL____00148) :: defines_var(BOOL____00148);\n\
00314 constraint int_le_reif(s____00139[2], 4, BOOL____00155) :: defines_var(BOOL____00155);\n\
00315 constraint int_le_reif(s____00163[1], 1, BOOL____00164) :: defines_var(BOOL____00164);\n\
00316 constraint int_le_reif(s____00163[1], 2, BOOL____00167) :: defines_var(BOOL____00167);\n\
00317 constraint int_le_reif(s____00163[1], 3, BOOL____00170) :: defines_var(BOOL____00170);\n\
00318 constraint int_le_reif(s____00163[1], 4, BOOL____00177) :: defines_var(BOOL____00177);\n\
00319 constraint int_le_reif(s____00163[2], 1, BOOL____00165) :: defines_var(BOOL____00165);\n\
00320 constraint int_le_reif(s____00163[2], 2, BOOL____00168) :: defines_var(BOOL____00168);\n\
00321 constraint int_le_reif(s____00163[2], 3, BOOL____00172) :: defines_var(BOOL____00172);\n\
00322 constraint int_le_reif(s____00163[2], 4, BOOL____00179) :: defines_var(BOOL____00179);\n\
00323 constraint int_lin_le([1], [s____00091[1]], 4);\n\
00324 constraint int_lin_le([1], [s____00101[1]], 4);\n\
00325 constraint int_lin_le([1], [s____00139[2]], 4);\n\
00326 constraint int_lin_le([1], [s____00163[2]], 4);\n\
00327 constraint int_lin_le([1, -1], [s____00001[1], s____00001[2]], -3);\n\
00328 constraint int_lin_le([1, -1], [s____00027[1], s____00027[2]], -3);\n\
00329 constraint int_lin_le([1, -1], [s____00065[1], s____00065[2]], -3);\n\
00330 constraint int_lin_le([1, -1], [s____00111[1], s____00111[2]], -2);\n\
00331 constraint int_lin_le([1, -1], [s____00139[1], s____00139[2]], -3);\n\
00332 constraint int_lin_le([1, -1], [s____00163[1], s____00163[2]], -3);\n\
00333 constraint int_lin_le_reif([-1], [s____00001[1]], -4, BOOL____00024) :: defines_var(BOOL____00024);\n\
00334 constraint int_lin_le_reif([-1], [s____00001[1]], -3, BOOL____00018) :: defines_var(BOOL____00018);\n\
00335 constraint int_lin_le_reif([-1], [s____00001[1]], -2, BOOL____00011) :: defines_var(BOOL____00011);\n\
00336 constraint int_lin_le_reif([-1], [s____00001[2]], -5, BOOL____00025) :: defines_var(BOOL____00025);\n\
00337 constraint int_lin_le_reif([-1], [s____00001[2]], -4, BOOL____00020) :: defines_var(BOOL____00020);\n\
00338 constraint int_lin_le_reif([-1], [s____00001[2]], -3, BOOL____00013) :: defines_var(BOOL____00013);\n\
00339 constraint int_lin_le_reif([-1], [s____00001[2]], -2, BOOL____00007) :: defines_var(BOOL____00007);\n\
00340 constraint int_lin_le_reif([-1], [s____00027[1]], -4, BOOL____00050) :: defines_var(BOOL____00050);\n\
00341 constraint int_lin_le_reif([-1], [s____00027[1]], -3, BOOL____00044) :: defines_var(BOOL____00044);\n\
00342 constraint int_lin_le_reif([-1], [s____00027[1]], -2, BOOL____00037) :: defines_var(BOOL____00037);\n\
00343 constraint int_lin_le_reif([-1], [s____00027[2]], -5, BOOL____00051) :: defines_var(BOOL____00051);\n\
00344 constraint int_lin_le_reif([-1], [s____00027[2]], -4, BOOL____00046) :: defines_var(BOOL____00046);\n\
00345 constraint int_lin_le_reif([-1], [s____00027[2]], -3, BOOL____00039) :: defines_var(BOOL____00039);\n\
00346 constraint int_lin_le_reif([-1], [s____00027[2]], -2, BOOL____00033) :: defines_var(BOOL____00033);\n\
00347 constraint int_lin_le_reif([-1], [s____00053[1]], -5, a[23]);\n\
00348 constraint int_lin_le_reif([-1], [s____00053[1]], -4, BOOL____00062) :: defines_var(BOOL____00062);\n\
00349 constraint int_lin_le_reif([-1], [s____00053[1]], -3, BOOL____00059) :: defines_var(BOOL____00059);\n\
00350 constraint int_lin_le_reif([-1], [s____00053[1]], -2, BOOL____00056) :: defines_var(BOOL____00056);\n\
00351 constraint int_lin_le_reif([-1], [s____00065[1]], -4, BOOL____00088) :: defines_var(BOOL____00088);\n\
00352 constraint int_lin_le_reif([-1], [s____00065[1]], -3, BOOL____00082) :: defines_var(BOOL____00082);\n\
00353 constraint int_lin_le_reif([-1], [s____00065[1]], -2, BOOL____00075) :: defines_var(BOOL____00075);\n\
00354 constraint int_lin_le_reif([-1], [s____00065[2]], -5, BOOL____00089) :: defines_var(BOOL____00089);\n\
00355 constraint int_lin_le_reif([-1], [s____00065[2]], -4, BOOL____00084) :: defines_var(BOOL____00084);\n\
00356 constraint int_lin_le_reif([-1], [s____00065[2]], -3, BOOL____00077) :: defines_var(BOOL____00077);\n\
00357 constraint int_lin_le_reif([-1], [s____00065[2]], -2, BOOL____00071) :: defines_var(BOOL____00071);\n\
00358 constraint int_lin_le_reif([-1], [s____00091[1]], -4, a[21]);\n\
00359 constraint int_lin_le_reif([-1], [s____00091[1]], -3, BOOL____00098) :: defines_var(BOOL____00098);\n\
00360 constraint int_lin_le_reif([-1], [s____00091[1]], -2, BOOL____00095) :: defines_var(BOOL____00095);\n\
00361 constraint int_lin_le_reif([-1], [s____00101[1]], -4, a[25]);\n\
00362 constraint int_lin_le_reif([-1], [s____00101[1]], -3, BOOL____00108) :: defines_var(BOOL____00108);\n\
00363 constraint int_lin_le_reif([-1], [s____00101[1]], -2, BOOL____00105) :: defines_var(BOOL____00105);\n\
00364 constraint int_lin_le_reif([-1], [s____00111[1]], -5, BOOL____00136) :: defines_var(BOOL____00136);\n\
00365 constraint int_lin_le_reif([-1], [s____00111[1]], -4, BOOL____00130) :: defines_var(BOOL____00130);\n\
00366 constraint int_lin_le_reif([-1], [s____00111[1]], -3, BOOL____00123) :: defines_var(BOOL____00123);\n\
00367 constraint int_lin_le_reif([-1], [s____00111[1]], -2, BOOL____00116) :: defines_var(BOOL____00116);\n\
00368 constraint int_lin_le_reif([-1], [s____00111[2]], -5, BOOL____00137) :: defines_var(BOOL____00137);\n\
00369 constraint int_lin_le_reif([-1], [s____00111[2]], -4, BOOL____00132) :: defines_var(BOOL____00132);\n\
00370 constraint int_lin_le_reif([-1], [s____00111[2]], -3, BOOL____00125) :: defines_var(BOOL____00125);\n\
00371 constraint int_lin_le_reif([-1], [s____00111[2]], -2, BOOL____00118) :: defines_var(BOOL____00118);\n\
00372 constraint int_lin_le_reif([-1], [s____00139[1]], -4, BOOL____00160) :: defines_var(BOOL____00160);\n\
00373 constraint int_lin_le_reif([-1], [s____00139[1]], -3, BOOL____00154) :: defines_var(BOOL____00154);\n\
00374 constraint int_lin_le_reif([-1], [s____00139[1]], -2, BOOL____00147) :: defines_var(BOOL____00147);\n\
00375 constraint int_lin_le_reif([-1], [s____00139[2]], -4, BOOL____00161) :: defines_var(BOOL____00161);\n\
00376 constraint int_lin_le_reif([-1], [s____00139[2]], -3, BOOL____00156) :: defines_var(BOOL____00156);\n\
00377 constraint int_lin_le_reif([-1], [s____00139[2]], -2, BOOL____00149) :: defines_var(BOOL____00149);\n\
00378 constraint int_lin_le_reif([-1], [s____00163[1]], -4, BOOL____00184) :: defines_var(BOOL____00184);\n\
00379 constraint int_lin_le_reif([-1], [s____00163[1]], -3, BOOL____00178) :: defines_var(BOOL____00178);\n\
00380 constraint int_lin_le_reif([-1], [s____00163[1]], -2, BOOL____00171) :: defines_var(BOOL____00171);\n\
00381 constraint int_lin_le_reif([-1], [s____00163[2]], -4, BOOL____00185) :: defines_var(BOOL____00185);\n\
00382 constraint int_lin_le_reif([-1], [s____00163[2]], -3, BOOL____00180) :: defines_var(BOOL____00180);\n\
00383 constraint int_lin_le_reif([-1], [s____00163[2]], -2, BOOL____00173) :: defines_var(BOOL____00173);\n\
00384 solve satisfy;\n\
00385 ", "a = array2d(1..5, 1..5, [true, true, false, true, true, true, true, false, true, true, false, false, false, false, false, false, true, false, false, true, false, false, true, true, false]);\n\
00386 ----------\n\
00387 ");
00388 }
00389 };
00390
00391 Create c;
00392 }
00393
00394 }}
00395
00396