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::1",
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____00004 :: 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____00009 :: is_defined_var :: var_is_introduced;\n\
00057 var bool: BOOL____00010 :: is_defined_var :: var_is_introduced;\n\
00058 var bool: BOOL____00011 :: is_defined_var :: var_is_introduced;\n\
00059 var bool: BOOL____00012 :: is_defined_var :: var_is_introduced;\n\
00060 var bool: BOOL____00013 :: is_defined_var :: var_is_introduced;\n\
00061 var bool: BOOL____00014 :: is_defined_var :: var_is_introduced;\n\
00062 var bool: BOOL____00016 :: is_defined_var :: var_is_introduced;\n\
00063 var bool: BOOL____00017 :: is_defined_var :: var_is_introduced;\n\
00064 var bool: BOOL____00018 :: is_defined_var :: var_is_introduced;\n\
00065 var bool: BOOL____00019 :: is_defined_var :: var_is_introduced;\n\
00066 var bool: BOOL____00020 :: is_defined_var :: var_is_introduced;\n\
00067 var bool: BOOL____00021 :: is_defined_var :: var_is_introduced;\n\
00068 var bool: BOOL____00022 :: is_defined_var :: var_is_introduced;\n\
00069 var bool: BOOL____00023 :: is_defined_var :: var_is_introduced;\n\
00070 var bool: BOOL____00024 :: is_defined_var :: var_is_introduced;\n\
00071 var bool: BOOL____00026 :: is_defined_var :: var_is_introduced;\n\
00072 var bool: BOOL____00027 :: is_defined_var :: var_is_introduced;\n\
00073 var bool: BOOL____00028 :: is_defined_var :: var_is_introduced;\n\
00074 var bool: BOOL____00029 :: is_defined_var :: var_is_introduced;\n\
00075 var bool: BOOL____00030 :: is_defined_var :: var_is_introduced;\n\
00076 var bool: BOOL____00031 :: is_defined_var :: var_is_introduced;\n\
00077 var bool: BOOL____00032 :: is_defined_var :: var_is_introduced;\n\
00078 var bool: BOOL____00033 :: is_defined_var :: var_is_introduced;\n\
00079 var bool: BOOL____00034 :: is_defined_var :: var_is_introduced;\n\
00080 var bool: BOOL____00036 :: is_defined_var :: var_is_introduced;\n\
00081 var bool: BOOL____00037 :: is_defined_var :: var_is_introduced;\n\
00082 var bool: BOOL____00038 :: is_defined_var :: var_is_introduced;\n\
00083 var bool: BOOL____00041 :: is_defined_var :: var_is_introduced;\n\
00084 var bool: BOOL____00042 :: is_defined_var :: var_is_introduced;\n\
00085 var bool: BOOL____00044 :: is_defined_var :: var_is_introduced;\n\
00086 var bool: BOOL____00045 :: is_defined_var :: var_is_introduced;\n\
00087 var bool: BOOL____00046 :: is_defined_var :: var_is_introduced;\n\
00088 var bool: BOOL____00047 :: is_defined_var :: var_is_introduced;\n\
00089 var bool: BOOL____00049 :: is_defined_var :: var_is_introduced;\n\
00090 var bool: BOOL____00050 :: is_defined_var :: var_is_introduced;\n\
00091 var bool: BOOL____00051 :: is_defined_var :: var_is_introduced;\n\
00092 var bool: BOOL____00052 :: is_defined_var :: var_is_introduced;\n\
00093 var bool: BOOL____00053 :: is_defined_var :: var_is_introduced;\n\
00094 var bool: BOOL____00054 :: is_defined_var :: var_is_introduced;\n\
00095 var bool: BOOL____00056 :: is_defined_var :: var_is_introduced;\n\
00096 var bool: BOOL____00057 :: is_defined_var :: var_is_introduced;\n\
00097 var bool: BOOL____00058 :: is_defined_var :: var_is_introduced;\n\
00098 var bool: BOOL____00059 :: is_defined_var :: var_is_introduced;\n\
00099 var bool: BOOL____00060 :: is_defined_var :: var_is_introduced;\n\
00100 var bool: BOOL____00061 :: is_defined_var :: var_is_introduced;\n\
00101 var bool: BOOL____00063 :: is_defined_var :: var_is_introduced;\n\
00102 var bool: BOOL____00064 :: is_defined_var :: var_is_introduced;\n\
00103 var bool: BOOL____00072 :: is_defined_var :: var_is_introduced;\n\
00104 var bool: BOOL____00073 :: is_defined_var :: var_is_introduced;\n\
00105 var bool: BOOL____00075 :: is_defined_var :: var_is_introduced;\n\
00106 var bool: BOOL____00076 :: is_defined_var :: var_is_introduced;\n\
00107 var bool: BOOL____00077 :: is_defined_var :: var_is_introduced;\n\
00108 var bool: BOOL____00078 :: is_defined_var :: var_is_introduced;\n\
00109 var bool: BOOL____00080 :: is_defined_var :: var_is_introduced;\n\
00110 var bool: BOOL____00081 :: is_defined_var :: var_is_introduced;\n\
00111 var bool: BOOL____00082 :: is_defined_var :: var_is_introduced;\n\
00112 var bool: BOOL____00083 :: is_defined_var :: var_is_introduced;\n\
00113 var bool: BOOL____00084 :: is_defined_var :: var_is_introduced;\n\
00114 var bool: BOOL____00085 :: is_defined_var :: var_is_introduced;\n\
00115 var bool: BOOL____00087 :: is_defined_var :: var_is_introduced;\n\
00116 var bool: BOOL____00088 :: is_defined_var :: var_is_introduced;\n\
00117 var bool: BOOL____00089 :: is_defined_var :: var_is_introduced;\n\
00118 var bool: BOOL____00090 :: is_defined_var :: var_is_introduced;\n\
00119 var bool: BOOL____00091 :: is_defined_var :: var_is_introduced;\n\
00120 var bool: BOOL____00092 :: is_defined_var :: var_is_introduced;\n\
00121 var bool: BOOL____00094 :: is_defined_var :: var_is_introduced;\n\
00122 var bool: BOOL____00095 :: is_defined_var :: var_is_introduced;\n\
00123 var bool: BOOL____00098 :: is_defined_var :: var_is_introduced;\n\
00124 var bool: BOOL____00099 :: is_defined_var :: var_is_introduced;\n\
00125 var bool: BOOL____00100 :: is_defined_var :: var_is_introduced;\n\
00126 var bool: BOOL____00102 :: is_defined_var :: var_is_introduced;\n\
00127 var bool: BOOL____00103 :: is_defined_var :: var_is_introduced;\n\
00128 var bool: BOOL____00104 :: is_defined_var :: var_is_introduced;\n\
00129 var bool: BOOL____00105 :: is_defined_var :: var_is_introduced;\n\
00130 var bool: BOOL____00106 :: is_defined_var :: var_is_introduced;\n\
00131 var bool: BOOL____00107 :: is_defined_var :: var_is_introduced;\n\
00132 var bool: BOOL____00108 :: is_defined_var :: var_is_introduced;\n\
00133 var bool: BOOL____00109 :: is_defined_var :: var_is_introduced;\n\
00134 var bool: BOOL____00110 :: is_defined_var :: var_is_introduced;\n\
00135 var bool: BOOL____00112 :: is_defined_var :: var_is_introduced;\n\
00136 var bool: BOOL____00113 :: is_defined_var :: var_is_introduced;\n\
00137 var bool: BOOL____00114 :: is_defined_var :: var_is_introduced;\n\
00138 var bool: BOOL____00115 :: is_defined_var :: var_is_introduced;\n\
00139 var bool: BOOL____00116 :: is_defined_var :: var_is_introduced;\n\
00140 var bool: BOOL____00117 :: is_defined_var :: var_is_introduced;\n\
00141 var bool: BOOL____00118 :: is_defined_var :: var_is_introduced;\n\
00142 var bool: BOOL____00119 :: is_defined_var :: var_is_introduced;\n\
00143 var bool: BOOL____00120 :: is_defined_var :: var_is_introduced;\n\
00144 var bool: BOOL____00122 :: is_defined_var :: var_is_introduced;\n\
00145 var bool: BOOL____00123 :: is_defined_var :: var_is_introduced;\n\
00146 var bool: BOOL____00124 :: is_defined_var :: var_is_introduced;\n\
00147 var bool: BOOL____00125 :: is_defined_var :: var_is_introduced;\n\
00148 var bool: BOOL____00126 :: is_defined_var :: var_is_introduced;\n\
00149 var bool: BOOL____00127 :: is_defined_var :: var_is_introduced;\n\
00150 var bool: BOOL____00128 :: is_defined_var :: var_is_introduced;\n\
00151 var bool: BOOL____00129 :: is_defined_var :: var_is_introduced;\n\
00152 var bool: BOOL____00130 :: is_defined_var :: var_is_introduced;\n\
00153 var bool: BOOL____00132 :: is_defined_var :: var_is_introduced;\n\
00154 var bool: BOOL____00133 :: is_defined_var :: var_is_introduced;\n\
00155 var bool: BOOL____00134 :: is_defined_var :: var_is_introduced;\n\
00156 var bool: BOOL____00137 :: is_defined_var :: var_is_introduced;\n\
00157 var bool: BOOL____00138 :: is_defined_var :: var_is_introduced;\n\
00158 var bool: BOOL____00140 :: is_defined_var :: var_is_introduced;\n\
00159 var bool: BOOL____00141 :: is_defined_var :: var_is_introduced;\n\
00160 var bool: BOOL____00142 :: is_defined_var :: var_is_introduced;\n\
00161 var bool: BOOL____00143 :: is_defined_var :: var_is_introduced;\n\
00162 var bool: BOOL____00145 :: is_defined_var :: var_is_introduced;\n\
00163 var bool: BOOL____00146 :: is_defined_var :: var_is_introduced;\n\
00164 var bool: BOOL____00147 :: is_defined_var :: var_is_introduced;\n\
00165 var bool: BOOL____00148 :: is_defined_var :: var_is_introduced;\n\
00166 var bool: BOOL____00150 :: is_defined_var :: var_is_introduced;\n\
00167 var bool: BOOL____00151 :: is_defined_var :: var_is_introduced;\n\
00168 var bool: BOOL____00152 :: is_defined_var :: var_is_introduced;\n\
00169 var bool: BOOL____00153 :: is_defined_var :: var_is_introduced;\n\
00170 var bool: BOOL____00154 :: is_defined_var :: var_is_introduced;\n\
00171 var bool: BOOL____00155 :: is_defined_var :: var_is_introduced;\n\
00172 var bool: BOOL____00157 :: is_defined_var :: var_is_introduced;\n\
00173 var bool: BOOL____00158 :: is_defined_var :: var_is_introduced;\n\
00174 var bool: BOOL____00163 :: is_defined_var :: var_is_introduced;\n\
00175 var bool: BOOL____00164 :: is_defined_var :: var_is_introduced;\n\
00176 var bool: BOOL____00166 :: is_defined_var :: var_is_introduced;\n\
00177 var bool: BOOL____00167 :: is_defined_var :: var_is_introduced;\n\
00178 var bool: BOOL____00178 :: is_defined_var :: var_is_introduced;\n\
00179 var bool: BOOL____00179 :: is_defined_var :: var_is_introduced;\n\
00180 var bool: BOOL____00181 :: is_defined_var :: var_is_introduced;\n\
00181 var bool: BOOL____00182 :: is_defined_var :: var_is_introduced;\n\
00182 var bool: BOOL____00186 :: is_defined_var :: var_is_introduced;\n\
00183 var bool: BOOL____00187 :: is_defined_var :: var_is_introduced;\n\
00184 var bool: BOOL____00189 :: is_defined_var :: var_is_introduced;\n\
00185 var bool: BOOL____00190 :: is_defined_var :: var_is_introduced;\n\
00186 var bool: BOOL____00191 :: is_defined_var :: var_is_introduced;\n\
00187 var bool: BOOL____00192 :: is_defined_var :: var_is_introduced;\n\
00188 var bool: BOOL____00194 :: is_defined_var :: var_is_introduced;\n\
00189 var bool: BOOL____00195 :: is_defined_var :: var_is_introduced;\n\
00190 var bool: BOOL____00196 :: is_defined_var :: var_is_introduced;\n\
00191 var bool: BOOL____00197 :: is_defined_var :: var_is_introduced;\n\
00192 var bool: BOOL____00199 :: is_defined_var :: var_is_introduced;\n\
00193 var bool: BOOL____00200 :: is_defined_var :: var_is_introduced;\n\
00194 var bool: BOOL____00201 :: is_defined_var :: var_is_introduced;\n\
00195 var bool: BOOL____00202 :: is_defined_var :: var_is_introduced;\n\
00196 var bool: BOOL____00203 :: is_defined_var :: var_is_introduced;\n\
00197 var bool: BOOL____00204 :: is_defined_var :: var_is_introduced;\n\
00198 var bool: BOOL____00206 :: is_defined_var :: var_is_introduced;\n\
00199 var bool: BOOL____00207 :: is_defined_var :: var_is_introduced;\n\
00200 array [1..25] of var bool: a :: output_array([1..5, 1..5]);\n\
00201 array [1..3] of var 1..5: s____00001;\n\
00202 array [1..2] of var 1..5: s____00040;\n\
00203 array [1..1] of var 1..5: s____00066;\n\
00204 array [1..2] of var 1..5: s____00071;\n\
00205 array [1..3] of var 1..5: s____00097;\n\
00206 array [1..2] of var 1..5: s____00136;\n\
00207 array [1..1] of var 1..5: s____00160;\n\
00208 array [1..1] of var 1..5: s____00170;\n\
00209 array [1..1] of var 1..5: s____00175;\n\
00210 array [1..2] of var 1..5: s____00185;\n\
00211 constraint array_bool_and([BOOL____00006, BOOL____00007], BOOL____00012) :: defines_var(BOOL____00012);\n\
00212 constraint array_bool_and([BOOL____00008, BOOL____00009], BOOL____00013) :: defines_var(BOOL____00013);\n\
00213 constraint array_bool_and([BOOL____00010, BOOL____00011], BOOL____00014) :: defines_var(BOOL____00014);\n\
00214 constraint array_bool_and([BOOL____00016, BOOL____00017], BOOL____00022) :: defines_var(BOOL____00022);\n\
00215 constraint array_bool_and([BOOL____00018, BOOL____00019], BOOL____00023) :: defines_var(BOOL____00023);\n\
00216 constraint array_bool_and([BOOL____00020, BOOL____00021], BOOL____00024) :: defines_var(BOOL____00024);\n\
00217 constraint array_bool_and([BOOL____00026, BOOL____00027], BOOL____00032) :: defines_var(BOOL____00032);\n\
00218 constraint array_bool_and([BOOL____00028, BOOL____00029], BOOL____00033) :: defines_var(BOOL____00033);\n\
00219 constraint array_bool_and([BOOL____00030, BOOL____00031], BOOL____00034) :: defines_var(BOOL____00034);\n\
00220 constraint array_bool_and([BOOL____00044, BOOL____00045], BOOL____00047) :: defines_var(BOOL____00047);\n\
00221 constraint array_bool_and([BOOL____00049, BOOL____00050], BOOL____00053) :: defines_var(BOOL____00053);\n\
00222 constraint array_bool_and([BOOL____00051, BOOL____00052], BOOL____00054) :: defines_var(BOOL____00054);\n\
00223 constraint array_bool_and([BOOL____00056, BOOL____00057], BOOL____00060) :: defines_var(BOOL____00060);\n\
00224 constraint array_bool_and([BOOL____00058, BOOL____00059], BOOL____00061) :: defines_var(BOOL____00061);\n\
00225 constraint array_bool_and([BOOL____00076, BOOL____00077], BOOL____00078) :: defines_var(BOOL____00078);\n\
00226 constraint array_bool_and([BOOL____00080, BOOL____00081], BOOL____00084) :: defines_var(BOOL____00084);\n\
00227 constraint array_bool_and([BOOL____00082, BOOL____00083], BOOL____00085) :: defines_var(BOOL____00085);\n\
00228 constraint array_bool_and([BOOL____00087, BOOL____00088], BOOL____00091) :: defines_var(BOOL____00091);\n\
00229 constraint array_bool_and([BOOL____00089, BOOL____00090], BOOL____00092) :: defines_var(BOOL____00092);\n\
00230 constraint array_bool_and([BOOL____00102, BOOL____00103], BOOL____00108) :: defines_var(BOOL____00108);\n\
00231 constraint array_bool_and([BOOL____00104, BOOL____00105], BOOL____00109) :: defines_var(BOOL____00109);\n\
00232 constraint array_bool_and([BOOL____00106, BOOL____00107], BOOL____00110) :: defines_var(BOOL____00110);\n\
00233 constraint array_bool_and([BOOL____00112, BOOL____00113], BOOL____00118) :: defines_var(BOOL____00118);\n\
00234 constraint array_bool_and([BOOL____00114, BOOL____00115], BOOL____00119) :: defines_var(BOOL____00119);\n\
00235 constraint array_bool_and([BOOL____00116, BOOL____00117], BOOL____00120) :: defines_var(BOOL____00120);\n\
00236 constraint array_bool_and([BOOL____00122, BOOL____00123], BOOL____00128) :: defines_var(BOOL____00128);\n\
00237 constraint array_bool_and([BOOL____00124, BOOL____00125], BOOL____00129) :: defines_var(BOOL____00129);\n\
00238 constraint array_bool_and([BOOL____00126, BOOL____00127], BOOL____00130) :: defines_var(BOOL____00130);\n\
00239 constraint array_bool_and([BOOL____00141, BOOL____00142], BOOL____00143) :: defines_var(BOOL____00143);\n\
00240 constraint array_bool_and([BOOL____00146, BOOL____00147], BOOL____00148) :: defines_var(BOOL____00148);\n\
00241 constraint array_bool_and([BOOL____00150, BOOL____00151], BOOL____00154) :: defines_var(BOOL____00154);\n\
00242 constraint array_bool_and([BOOL____00152, BOOL____00153], BOOL____00155) :: defines_var(BOOL____00155);\n\
00243 constraint array_bool_and([BOOL____00163, BOOL____00164], a[18]);\n\
00244 constraint array_bool_and([BOOL____00166, BOOL____00167], a[19]);\n\
00245 constraint array_bool_and([BOOL____00178, BOOL____00179], a[8]);\n\
00246 constraint array_bool_and([BOOL____00181, BOOL____00182], a[9]);\n\
00247 constraint array_bool_and([BOOL____00189, BOOL____00190], BOOL____00192) :: defines_var(BOOL____00192);\n\
00248 constraint array_bool_and([BOOL____00194, BOOL____00195], BOOL____00197) :: defines_var(BOOL____00197);\n\
00249 constraint array_bool_and([BOOL____00199, BOOL____00200], BOOL____00203) :: defines_var(BOOL____00203);\n\
00250 constraint array_bool_and([BOOL____00201, BOOL____00202], BOOL____00204) :: defines_var(BOOL____00204);\n\
00251 constraint array_bool_or([BOOL____00042, BOOL____00041], a[4]);\n\
00252 constraint array_bool_or([BOOL____00046, BOOL____00047], a[9]);\n\
00253 constraint array_bool_or([BOOL____00053, BOOL____00054], a[14]);\n\
00254 constraint array_bool_or([BOOL____00060, BOOL____00061], a[19]);\n\
00255 constraint array_bool_or([BOOL____00064, BOOL____00063], a[24]);\n\
00256 constraint array_bool_or([BOOL____00073, BOOL____00072], a[2]);\n\
00257 constraint array_bool_or([BOOL____00075, BOOL____00078], a[7]);\n\
00258 constraint array_bool_or([BOOL____00084, BOOL____00085], a[12]);\n\
00259 constraint array_bool_or([BOOL____00091, BOOL____00092], a[17]);\n\
00260 constraint array_bool_or([BOOL____00095, BOOL____00094], a[22]);\n\
00261 constraint array_bool_or([BOOL____00138, BOOL____00137], a[21]);\n\
00262 constraint array_bool_or([BOOL____00140, BOOL____00143], a[22]);\n\
00263 constraint array_bool_or([BOOL____00145, BOOL____00148], a[23]);\n\
00264 constraint array_bool_or([BOOL____00154, BOOL____00155], a[24]);\n\
00265 constraint array_bool_or([BOOL____00158, BOOL____00157], a[25]);\n\
00266 constraint array_bool_or([BOOL____00187, BOOL____00186], a[1]);\n\
00267 constraint array_bool_or([BOOL____00191, BOOL____00192], a[2]);\n\
00268 constraint array_bool_or([BOOL____00196, BOOL____00197], a[3]);\n\
00269 constraint array_bool_or([BOOL____00203, BOOL____00204], a[4]);\n\
00270 constraint array_bool_or([BOOL____00207, BOOL____00206], a[5]);\n\
00271 constraint array_bool_or([BOOL____00004, BOOL____00003, BOOL____00002], a[5]);\n\
00272 constraint array_bool_or([BOOL____00014, BOOL____00012, BOOL____00013], a[10]);\n\
00273 constraint array_bool_or([BOOL____00024, BOOL____00022, BOOL____00023], a[15]);\n\
00274 constraint array_bool_or([BOOL____00034, BOOL____00032, BOOL____00033], a[20]);\n\
00275 constraint array_bool_or([BOOL____00038, BOOL____00037, BOOL____00036], a[25]);\n\
00276 constraint array_bool_or([BOOL____00100, BOOL____00099, BOOL____00098], a[1]);\n")+"\
00277 constraint array_bool_or([BOOL____00110, BOOL____00108, BOOL____00109], a[6]);\n\
00278 constraint array_bool_or([BOOL____00120, BOOL____00118, BOOL____00119], a[11]);\n\
00279 constraint array_bool_or([BOOL____00130, BOOL____00128, BOOL____00129], a[16]);\n\
00280 constraint array_bool_or([BOOL____00134, BOOL____00133, BOOL____00132], a[21]);\n\
00281 constraint bool_eq(a[15], true);\n\
00282 constraint bool_eq(a[23], true);\n\
00283 constraint int_le_reif(s____00001[1], 1, BOOL____00002) :: defines_var(BOOL____00002);\n\
00284 constraint int_le_reif(s____00001[1], 2, BOOL____00006) :: defines_var(BOOL____00006);\n\
00285 constraint int_le_reif(s____00001[1], 3, BOOL____00016) :: defines_var(BOOL____00016);\n\
00286 constraint int_le_reif(s____00001[1], 4, BOOL____00026) :: defines_var(BOOL____00026);\n\
00287 constraint int_le_reif(s____00001[2], 1, BOOL____00003) :: defines_var(BOOL____00003);\n\
00288 constraint int_le_reif(s____00001[2], 2, BOOL____00008) :: defines_var(BOOL____00008);\n\
00289 constraint int_le_reif(s____00001[2], 3, BOOL____00018) :: defines_var(BOOL____00018);\n\
00290 constraint int_le_reif(s____00001[2], 4, BOOL____00028) :: defines_var(BOOL____00028);\n\
00291 constraint int_le_reif(s____00001[3], 1, BOOL____00004) :: defines_var(BOOL____00004);\n\
00292 constraint int_le_reif(s____00001[3], 2, BOOL____00010) :: defines_var(BOOL____00010);\n\
00293 constraint int_le_reif(s____00001[3], 3, BOOL____00020) :: defines_var(BOOL____00020);\n\
00294 constraint int_le_reif(s____00001[3], 4, BOOL____00030) :: defines_var(BOOL____00030);\n\
00295 constraint int_le_reif(s____00040[1], 1, BOOL____00041) :: defines_var(BOOL____00041);\n\
00296 constraint int_le_reif(s____00040[1], 2, BOOL____00044) :: defines_var(BOOL____00044);\n\
00297 constraint int_le_reif(s____00040[1], 3, BOOL____00049) :: defines_var(BOOL____00049);\n\
00298 constraint int_le_reif(s____00040[1], 4, BOOL____00056) :: defines_var(BOOL____00056);\n\
00299 constraint int_le_reif(s____00040[2], 1, BOOL____00042) :: defines_var(BOOL____00042);\n\
00300 constraint int_le_reif(s____00040[2], 2, BOOL____00046) :: defines_var(BOOL____00046);\n\
00301 constraint int_le_reif(s____00040[2], 3, BOOL____00051) :: defines_var(BOOL____00051);\n\
00302 constraint int_le_reif(s____00040[2], 4, BOOL____00058) :: defines_var(BOOL____00058);\n\
00303 constraint int_le_reif(s____00066[1], 1, a[3]);\n\
00304 constraint int_le_reif(s____00066[1], 2, a[8]);\n\
00305 constraint int_le_reif(s____00066[1], 3, a[13]);\n\
00306 constraint int_le_reif(s____00066[1], 4, a[18]);\n\
00307 constraint int_le_reif(s____00071[1], 1, BOOL____00072) :: defines_var(BOOL____00072);\n\
00308 constraint int_le_reif(s____00071[1], 2, BOOL____00075) :: defines_var(BOOL____00075);\n\
00309 constraint int_le_reif(s____00071[1], 3, BOOL____00080) :: defines_var(BOOL____00080);\n\
00310 constraint int_le_reif(s____00071[1], 4, BOOL____00087) :: defines_var(BOOL____00087);\n\
00311 constraint int_le_reif(s____00071[2], 1, BOOL____00073) :: defines_var(BOOL____00073);\n\
00312 constraint int_le_reif(s____00071[2], 2, BOOL____00076) :: defines_var(BOOL____00076);\n\
00313 constraint int_le_reif(s____00071[2], 3, BOOL____00082) :: defines_var(BOOL____00082);\n\
00314 constraint int_le_reif(s____00071[2], 4, BOOL____00089) :: defines_var(BOOL____00089);\n\
00315 constraint int_le_reif(s____00097[1], 1, BOOL____00098) :: defines_var(BOOL____00098);\n\
00316 constraint int_le_reif(s____00097[1], 2, BOOL____00102) :: defines_var(BOOL____00102);\n\
00317 constraint int_le_reif(s____00097[1], 3, BOOL____00112) :: defines_var(BOOL____00112);\n\
00318 constraint int_le_reif(s____00097[1], 4, BOOL____00122) :: defines_var(BOOL____00122);\n\
00319 constraint int_le_reif(s____00097[2], 1, BOOL____00099) :: defines_var(BOOL____00099);\n\
00320 constraint int_le_reif(s____00097[2], 2, BOOL____00104) :: defines_var(BOOL____00104);\n\
00321 constraint int_le_reif(s____00097[2], 3, BOOL____00114) :: defines_var(BOOL____00114);\n\
00322 constraint int_le_reif(s____00097[2], 4, BOOL____00124) :: defines_var(BOOL____00124);\n\
00323 constraint int_le_reif(s____00097[3], 1, BOOL____00100) :: defines_var(BOOL____00100);\n\
00324 constraint int_le_reif(s____00097[3], 2, BOOL____00106) :: defines_var(BOOL____00106);\n\
00325 constraint int_le_reif(s____00097[3], 3, BOOL____00116) :: defines_var(BOOL____00116);\n\
00326 constraint int_le_reif(s____00097[3], 4, BOOL____00126) :: defines_var(BOOL____00126);\n\
00327 constraint int_le_reif(s____00136[1], 1, BOOL____00137) :: defines_var(BOOL____00137);\n\
00328 constraint int_le_reif(s____00136[1], 2, BOOL____00140) :: defines_var(BOOL____00140);\n\
00329 constraint int_le_reif(s____00136[1], 3, BOOL____00145) :: defines_var(BOOL____00145);\n\
00330 constraint int_le_reif(s____00136[1], 4, BOOL____00150) :: defines_var(BOOL____00150);\n\
00331 constraint int_le_reif(s____00136[2], 1, BOOL____00138) :: defines_var(BOOL____00138);\n\
00332 constraint int_le_reif(s____00136[2], 2, BOOL____00141) :: defines_var(BOOL____00141);\n\
00333 constraint int_le_reif(s____00136[2], 3, BOOL____00146) :: defines_var(BOOL____00146);\n\
00334 constraint int_le_reif(s____00136[2], 4, BOOL____00152) :: defines_var(BOOL____00152);\n\
00335 constraint int_le_reif(s____00160[1], 1, a[16]);\n\
00336 constraint int_le_reif(s____00160[1], 2, a[17]);\n\
00337 constraint int_le_reif(s____00160[1], 3, BOOL____00163) :: defines_var(BOOL____00163);\n\
00338 constraint int_le_reif(s____00160[1], 4, BOOL____00166) :: defines_var(BOOL____00166);\n\
00339 constraint int_le_reif(s____00170[1], 1, a[11]);\n\
00340 constraint int_le_reif(s____00170[1], 2, a[12]);\n\
00341 constraint int_le_reif(s____00170[1], 3, a[13]);\n\
00342 constraint int_le_reif(s____00170[1], 4, a[14]);\n\
00343 constraint int_le_reif(s____00175[1], 1, a[6]);\n\
00344 constraint int_le_reif(s____00175[1], 2, a[7]);\n\
00345 constraint int_le_reif(s____00175[1], 3, BOOL____00178) :: defines_var(BOOL____00178);\n\
00346 constraint int_le_reif(s____00175[1], 4, BOOL____00181) :: defines_var(BOOL____00181);\n\
00347 constraint int_le_reif(s____00185[1], 1, BOOL____00186) :: defines_var(BOOL____00186);\n\
00348 constraint int_le_reif(s____00185[1], 2, BOOL____00189) :: defines_var(BOOL____00189);\n\
00349 constraint int_le_reif(s____00185[1], 3, BOOL____00194) :: defines_var(BOOL____00194);\n\
00350 constraint int_le_reif(s____00185[1], 4, BOOL____00199) :: defines_var(BOOL____00199);\n\
00351 constraint int_le_reif(s____00185[2], 1, BOOL____00187) :: defines_var(BOOL____00187);\n\
00352 constraint int_le_reif(s____00185[2], 2, BOOL____00191) :: defines_var(BOOL____00191);\n\
00353 constraint int_le_reif(s____00185[2], 3, BOOL____00196) :: defines_var(BOOL____00196);\n\
00354 constraint int_le_reif(s____00185[2], 4, BOOL____00201) :: defines_var(BOOL____00201);\n\
00355 constraint int_lin_le([1], [s____00040[2]], 4);\n\
00356 constraint int_lin_le([1], [s____00066[1]], 1);\n\
00357 constraint int_lin_le([1], [s____00160[1]], 4);\n\
00358 constraint int_lin_le([1], [s____00170[1]], 1);\n\
00359 constraint int_lin_le([1], [s____00175[1]], 4);\n\
00360 constraint int_lin_le([1], [s____00185[2]], 3);\n\
00361 constraint int_lin_le([1, -1], [s____00001[1], s____00001[2]], -2);\n\
00362 constraint int_lin_le([1, -1], [s____00001[2], s____00001[3]], -2);\n\
00363 constraint int_lin_le([1, -1], [s____00040[1], s____00040[2]], -2);\n\
00364 constraint int_lin_le([1, -1], [s____00071[1], s____00071[2]], -3);\n\
00365 constraint int_lin_le([1, -1], [s____00097[1], s____00097[2]], -2);\n\
00366 constraint int_lin_le([1, -1], [s____00097[2], s____00097[3]], -2);\n\
00367 constraint int_lin_le([1, -1], [s____00136[1], s____00136[2]], -4);\n\
00368 constraint int_lin_le([1, -1], [s____00185[1], s____00185[2]], -2);\n\
00369 constraint int_lin_le_reif([-1], [s____00001[1]], -5, BOOL____00036) :: defines_var(BOOL____00036);\n\
00370 constraint int_lin_le_reif([-1], [s____00001[1]], -4, BOOL____00027) :: defines_var(BOOL____00027);\n\
00371 constraint int_lin_le_reif([-1], [s____00001[1]], -3, BOOL____00017) :: defines_var(BOOL____00017);\n\
00372 constraint int_lin_le_reif([-1], [s____00001[1]], -2, BOOL____00007) :: defines_var(BOOL____00007);\n\
00373 constraint int_lin_le_reif([-1], [s____00001[2]], -5, BOOL____00037) :: defines_var(BOOL____00037);\n\
00374 constraint int_lin_le_reif([-1], [s____00001[2]], -4, BOOL____00029) :: defines_var(BOOL____00029);\n\
00375 constraint int_lin_le_reif([-1], [s____00001[2]], -3, BOOL____00019) :: defines_var(BOOL____00019);\n\
00376 constraint int_lin_le_reif([-1], [s____00001[2]], -2, BOOL____00009) :: defines_var(BOOL____00009);\n\
00377 constraint int_lin_le_reif([-1], [s____00001[3]], -5, BOOL____00038) :: defines_var(BOOL____00038);\n\
00378 constraint int_lin_le_reif([-1], [s____00001[3]], -4, BOOL____00031) :: defines_var(BOOL____00031);\n\
00379 constraint int_lin_le_reif([-1], [s____00001[3]], -3, BOOL____00021) :: defines_var(BOOL____00021);\n\
00380 constraint int_lin_le_reif([-1], [s____00001[3]], -2, BOOL____00011) :: defines_var(BOOL____00011);\n\
00381 constraint int_lin_le_reif([-1], [s____00040[1]], -5, BOOL____00063) :: defines_var(BOOL____00063);\n\
00382 constraint int_lin_le_reif([-1], [s____00040[1]], -4, BOOL____00057) :: defines_var(BOOL____00057);\n\
00383 constraint int_lin_le_reif([-1], [s____00040[1]], -3, BOOL____00050) :: defines_var(BOOL____00050);\n\
00384 constraint int_lin_le_reif([-1], [s____00040[1]], -2, BOOL____00045) :: defines_var(BOOL____00045);\n\
00385 constraint int_lin_le_reif([-1], [s____00040[2]], -4, BOOL____00064) :: defines_var(BOOL____00064);\n\
00386 constraint int_lin_le_reif([-1], [s____00040[2]], -3, BOOL____00059) :: defines_var(BOOL____00059);\n\
00387 constraint int_lin_le_reif([-1], [s____00040[2]], -2, BOOL____00052) :: defines_var(BOOL____00052);\n\
00388 constraint int_lin_le_reif([-1], [s____00071[1]], -4, BOOL____00094) :: defines_var(BOOL____00094);\n\
00389 constraint int_lin_le_reif([-1], [s____00071[1]], -3, BOOL____00088) :: defines_var(BOOL____00088);\n\
00390 constraint int_lin_le_reif([-1], [s____00071[1]], -2, BOOL____00081) :: defines_var(BOOL____00081);\n\
00391 constraint int_lin_le_reif([-1], [s____00071[2]], -5, BOOL____00095) :: defines_var(BOOL____00095);\n\
00392 constraint int_lin_le_reif([-1], [s____00071[2]], -4, BOOL____00090) :: defines_var(BOOL____00090);\n\
00393 constraint int_lin_le_reif([-1], [s____00071[2]], -3, BOOL____00083) :: defines_var(BOOL____00083);\n\
00394 constraint int_lin_le_reif([-1], [s____00071[2]], -2, BOOL____00077) :: defines_var(BOOL____00077);\n\
00395 constraint int_lin_le_reif([-1], [s____00097[1]], -5, BOOL____00132) :: defines_var(BOOL____00132);\n\
00396 constraint int_lin_le_reif([-1], [s____00097[1]], -4, BOOL____00123) :: defines_var(BOOL____00123);\n\
00397 constraint int_lin_le_reif([-1], [s____00097[1]], -3, BOOL____00113) :: defines_var(BOOL____00113);\n\
00398 constraint int_lin_le_reif([-1], [s____00097[1]], -2, BOOL____00103) :: defines_var(BOOL____00103);\n\
00399 constraint int_lin_le_reif([-1], [s____00097[2]], -5, BOOL____00133) :: defines_var(BOOL____00133);\n\
00400 constraint int_lin_le_reif([-1], [s____00097[2]], -4, BOOL____00125) :: defines_var(BOOL____00125);\n\
00401 constraint int_lin_le_reif([-1], [s____00097[2]], -3, BOOL____00115) :: defines_var(BOOL____00115);\n\
00402 constraint int_lin_le_reif([-1], [s____00097[2]], -2, BOOL____00105) :: defines_var(BOOL____00105);\n\
00403 constraint int_lin_le_reif([-1], [s____00097[3]], -5, BOOL____00134) :: defines_var(BOOL____00134);\n\
00404 constraint int_lin_le_reif([-1], [s____00097[3]], -4, BOOL____00127) :: defines_var(BOOL____00127);\n\
00405 constraint int_lin_le_reif([-1], [s____00097[3]], -3, BOOL____00117) :: defines_var(BOOL____00117);\n\
00406 constraint int_lin_le_reif([-1], [s____00097[3]], -2, BOOL____00107) :: defines_var(BOOL____00107);\n\
00407 constraint int_lin_le_reif([-1], [s____00136[1]], -3, BOOL____00157) :: defines_var(BOOL____00157);\n\
00408 constraint int_lin_le_reif([-1], [s____00136[1]], -2, BOOL____00151) :: defines_var(BOOL____00151);\n\
00409 constraint int_lin_le_reif([-1], [s____00136[2]], -5, BOOL____00158) :: defines_var(BOOL____00158);\n\
00410 constraint int_lin_le_reif([-1], [s____00136[2]], -4, BOOL____00153) :: defines_var(BOOL____00153);\n\
00411 constraint int_lin_le_reif([-1], [s____00136[2]], -3, BOOL____00147) :: defines_var(BOOL____00147);\n\
00412 constraint int_lin_le_reif([-1], [s____00136[2]], -2, BOOL____00142) :: defines_var(BOOL____00142);\n\
00413 constraint int_lin_le_reif([-1], [s____00160[1]], -4, a[20]);\n\
00414 constraint int_lin_le_reif([-1], [s____00160[1]], -3, BOOL____00167) :: defines_var(BOOL____00167);\n\
00415 constraint int_lin_le_reif([-1], [s____00160[1]], -2, BOOL____00164) :: defines_var(BOOL____00164);\n\
00416 constraint int_lin_le_reif([-1], [s____00175[1]], -4, a[10]);\n\
00417 constraint int_lin_le_reif([-1], [s____00175[1]], -3, BOOL____00182) :: defines_var(BOOL____00182);\n\
00418 constraint int_lin_le_reif([-1], [s____00175[1]], -2, BOOL____00179) :: defines_var(BOOL____00179);\n\
00419 constraint int_lin_le_reif([-1], [s____00185[1]], -5, BOOL____00206) :: defines_var(BOOL____00206);\n\
00420 constraint int_lin_le_reif([-1], [s____00185[1]], -4, BOOL____00200) :: defines_var(BOOL____00200);\n\
00421 constraint int_lin_le_reif([-1], [s____00185[1]], -3, BOOL____00195) :: defines_var(BOOL____00195);\n\
00422 constraint int_lin_le_reif([-1], [s____00185[1]], -2, BOOL____00190) :: defines_var(BOOL____00190);\n\
00423 constraint int_lin_le_reif([-1], [s____00185[2]], -3, BOOL____00207) :: defines_var(BOOL____00207);\n\
00424 constraint int_lin_le_reif([-1], [s____00185[2]], -2, BOOL____00202) :: defines_var(BOOL____00202);\n\
00425 solve satisfy;\n\
00426 ", "a = array2d(1..5, 1..5, [true, false, true, true, true, false, true, true, false, false, true, true, true, true, true, false, false, true, true, false, true, true, true, false, true]);\n\
00427 ----------\n\
00428 ");
00429 }
00430 };
00431
00432 Create c;
00433 }
00434
00435 }}
00436
00437