1019 lines
74 KiB
MiniZinc
1019 lines
74 KiB
MiniZinc
predicate fzn_all_different_int(array [int] of var int: x);
|
|
predicate count(array [int] of var int: x, var int: y, var int: c);
|
|
predicate fixed_fzn_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, int: b);
|
|
predicate global_cardinality(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);
|
|
predicate maximum_int(var int: m, array [int] of var int: x);
|
|
predicate minimum_int(var int: m, array [int] of var int: x);
|
|
predicate sort(array [int] of var int: x, array [int] of var int: y);
|
|
predicate table_bool(array [int] of var bool: x, array [int, int] of bool: t);
|
|
predicate table_int(array [int] of var int: x, array [int, int] of int: t);
|
|
predicate var_fzn_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, var int: b);
|
|
array [1..29] of int: departments = [1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 4, 4, 4, 3, 3, 5, 5, 5];
|
|
array [1..29] of int: place = [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2];
|
|
array [1..29] of int: sex = [1, 1, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 2, 2, 2, 2, 1, 2, 2, 1, 2, 1, 1, 1, 1, 2, 1, 1];
|
|
var bool: BOOL____00013 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00015 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00017 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00019 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00021 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00023 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00025 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00027 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00029 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00031 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00033 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00035 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00037 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00039 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00041 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00043 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00045 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00047 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00049 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00051 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00053 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00055 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00057 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00059 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00061 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00063 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00065 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00067 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00069 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00101 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00103 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00105 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00107 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00109 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00111 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00113 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00115 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00117 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00119 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00121 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00123 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00125 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00127 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00129 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00131 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00133 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00135 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00137 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00139 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00141 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00143 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00145 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00147 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00149 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00151 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00153 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00155 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00157 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00189 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00191 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00193 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00195 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00197 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00199 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00201 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00203 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00205 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00207 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00209 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00211 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00213 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00215 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00217 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00219 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00221 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00223 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00225 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00227 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00229 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00231 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00233 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00235 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00237 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00239 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00241 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00243 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00245 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00277 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00279 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00281 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00283 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00285 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00287 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00289 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00291 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00293 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00295 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00297 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00299 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00301 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00303 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00305 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00307 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00309 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00311 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00313 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00315 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00317 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00319 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00321 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00323 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00325 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00327 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00329 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00331 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00333 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00365 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00367 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00369 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00371 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00373 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00375 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00377 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00379 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00381 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00383 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00385 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00387 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00389 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00391 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00393 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00395 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00397 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00399 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00401 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00403 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00405 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00407 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00409 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00411 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00413 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00415 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00417 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00419 :: is_defined_var :: var_is_introduced;
|
|
var bool: BOOL____00421 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00070 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00071 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00072 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00073 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00074 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00075 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00076 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00077 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00078 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00079 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00080 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00081 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00082 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00083 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00084 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00085 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00086 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00087 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00088 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00089 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00090 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00091 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00092 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00093 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00094 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00095 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00096 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00097 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00098 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00158 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00159 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00160 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00161 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00162 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00163 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00164 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00165 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00166 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00167 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00168 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00169 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00170 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00171 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00172 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00173 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00174 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00175 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00176 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00177 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00178 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00179 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00180 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00181 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00182 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00183 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00184 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00185 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00186 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00246 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00247 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00248 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00249 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00250 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00251 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00252 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00253 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00254 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00255 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00256 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00257 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00258 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00259 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00260 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00261 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00262 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00263 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00264 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00265 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00266 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00267 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00268 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00269 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00270 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00271 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00272 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00273 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00274 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00334 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00335 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00336 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00337 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00338 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00339 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00340 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00341 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00342 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00343 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00344 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00345 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00346 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00347 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00348 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00349 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00350 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00351 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00352 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00353 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00354 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00355 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00356 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00357 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00358 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00359 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00360 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00361 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00362 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00422 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00423 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00424 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00425 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00426 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00427 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00428 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00429 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00430 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00431 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00432 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00433 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00434 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00435 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00436 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00437 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00438 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00439 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00440 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00441 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00442 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00443 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00444 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00445 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00446 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00447 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00448 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00449 :: is_defined_var :: var_is_introduced;
|
|
var 0..1: INT____00450 :: is_defined_var :: var_is_introduced;
|
|
var 0..14: INT____00451 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00452 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00453 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00454 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00455 :: is_defined_var :: var_is_introduced;
|
|
var 0..14: INT____00456 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00457 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00458 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00459 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00460 :: is_defined_var :: var_is_introduced;
|
|
var 0..14: INT____00461 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00462 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00463 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00464 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00465 :: is_defined_var :: var_is_introduced;
|
|
var 0..14: INT____00466 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00467 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00468 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00469 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00470 :: is_defined_var :: var_is_introduced;
|
|
var 0..14: INT____00471 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00472 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00473 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00474 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00475 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00476 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00477 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00478 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00479 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00480 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00481 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00482 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00483 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00484 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00485 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00486 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00487 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00488 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00489 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00490 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00491 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00492 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00493 :: is_defined_var :: var_is_introduced;
|
|
var -14..29: INT____00494 :: is_defined_var :: var_is_introduced;
|
|
var 0..29: INT____00495 :: is_defined_var :: var_is_introduced;
|
|
var 0..200: INT____00496 :: is_defined_var :: var_is_introduced;
|
|
var set of 1..29: SET____00001 :: is_defined_var :: var_is_introduced;
|
|
var set of 1..29: SET____00002 :: is_defined_var :: var_is_introduced;
|
|
var set of 1..29: SET____00003 :: is_defined_var :: var_is_introduced;
|
|
var set of 1..29: SET____00004 :: is_defined_var :: var_is_introduced;
|
|
var set of 1..29: SET____00005 :: is_defined_var :: var_is_introduced;
|
|
var set of 1..29: SET____00006 :: is_defined_var :: var_is_introduced;
|
|
var set of 1..29: SET____00007 :: is_defined_var :: var_is_introduced;
|
|
var set of 1..29: SET____00008 :: is_defined_var :: var_is_introduced;
|
|
var set of 1..29: SET____00009 :: is_defined_var :: var_is_introduced;
|
|
var set of 1..29: SET____00010 :: is_defined_var :: var_is_introduced;
|
|
array [1..5] of var 0..29: size_departments;
|
|
array [1..5] of var set of 1..29: team :: output_array([1..5]);
|
|
array [1..25] of var 0..29: team_departments :: output_array([1..5, 1..5]);
|
|
array [1..10] of var 0..29: team_place :: output_array([1..5, 1..2]);
|
|
array [1..10] of var 0..29: team_sex :: output_array([1..5, 1..2]);
|
|
array [1..5] of var 0..29: team_size :: output_array([1..5]);
|
|
var 5..6: INT____00363 :: var_is_introduced = team_size[5];
|
|
var 5..6: INT____00275 :: var_is_introduced = team_size[4];
|
|
var 5..6: INT____00187 :: var_is_introduced = team_size[3];
|
|
var 5..6: INT____00099 :: var_is_introduced = team_size[2];
|
|
var 5..6: INT____00011 :: var_is_introduced = team_size[1];
|
|
array [1..29] of var 1..5: which_team :: output_array([1..29]);
|
|
var 0..200: z :: output_var = INT____00496;
|
|
constraint bool2int(BOOL____00013, INT____00070) :: defines_var(INT____00070);
|
|
constraint bool2int(BOOL____00015, INT____00071) :: defines_var(INT____00071);
|
|
constraint bool2int(BOOL____00017, INT____00072) :: defines_var(INT____00072);
|
|
constraint bool2int(BOOL____00019, INT____00073) :: defines_var(INT____00073);
|
|
constraint bool2int(BOOL____00021, INT____00074) :: defines_var(INT____00074);
|
|
constraint bool2int(BOOL____00023, INT____00075) :: defines_var(INT____00075);
|
|
constraint bool2int(BOOL____00025, INT____00076) :: defines_var(INT____00076);
|
|
constraint bool2int(BOOL____00027, INT____00077) :: defines_var(INT____00077);
|
|
constraint bool2int(BOOL____00029, INT____00078) :: defines_var(INT____00078);
|
|
constraint bool2int(BOOL____00031, INT____00079) :: defines_var(INT____00079);
|
|
constraint bool2int(BOOL____00033, INT____00080) :: defines_var(INT____00080);
|
|
constraint bool2int(BOOL____00035, INT____00081) :: defines_var(INT____00081);
|
|
constraint bool2int(BOOL____00037, INT____00082) :: defines_var(INT____00082);
|
|
constraint bool2int(BOOL____00039, INT____00083) :: defines_var(INT____00083);
|
|
constraint bool2int(BOOL____00041, INT____00084) :: defines_var(INT____00084);
|
|
constraint bool2int(BOOL____00043, INT____00085) :: defines_var(INT____00085);
|
|
constraint bool2int(BOOL____00045, INT____00086) :: defines_var(INT____00086);
|
|
constraint bool2int(BOOL____00047, INT____00087) :: defines_var(INT____00087);
|
|
constraint bool2int(BOOL____00049, INT____00088) :: defines_var(INT____00088);
|
|
constraint bool2int(BOOL____00051, INT____00089) :: defines_var(INT____00089);
|
|
constraint bool2int(BOOL____00053, INT____00090) :: defines_var(INT____00090);
|
|
constraint bool2int(BOOL____00055, INT____00093) :: defines_var(INT____00093);
|
|
constraint bool2int(BOOL____00057, INT____00094) :: defines_var(INT____00094);
|
|
constraint bool2int(BOOL____00059, INT____00095) :: defines_var(INT____00095);
|
|
constraint bool2int(BOOL____00061, INT____00091) :: defines_var(INT____00091);
|
|
constraint bool2int(BOOL____00063, INT____00092) :: defines_var(INT____00092);
|
|
constraint bool2int(BOOL____00065, INT____00096) :: defines_var(INT____00096);
|
|
constraint bool2int(BOOL____00067, INT____00097) :: defines_var(INT____00097);
|
|
constraint bool2int(BOOL____00069, INT____00098) :: defines_var(INT____00098);
|
|
constraint bool2int(BOOL____00101, INT____00158) :: defines_var(INT____00158);
|
|
constraint bool2int(BOOL____00103, INT____00159) :: defines_var(INT____00159);
|
|
constraint bool2int(BOOL____00105, INT____00160) :: defines_var(INT____00160);
|
|
constraint bool2int(BOOL____00107, INT____00161) :: defines_var(INT____00161);
|
|
constraint bool2int(BOOL____00109, INT____00162) :: defines_var(INT____00162);
|
|
constraint bool2int(BOOL____00111, INT____00163) :: defines_var(INT____00163);
|
|
constraint bool2int(BOOL____00113, INT____00164) :: defines_var(INT____00164);
|
|
constraint bool2int(BOOL____00115, INT____00165) :: defines_var(INT____00165);
|
|
constraint bool2int(BOOL____00117, INT____00166) :: defines_var(INT____00166);
|
|
constraint bool2int(BOOL____00119, INT____00167) :: defines_var(INT____00167);
|
|
constraint bool2int(BOOL____00121, INT____00168) :: defines_var(INT____00168);
|
|
constraint bool2int(BOOL____00123, INT____00169) :: defines_var(INT____00169);
|
|
constraint bool2int(BOOL____00125, INT____00170) :: defines_var(INT____00170);
|
|
constraint bool2int(BOOL____00127, INT____00171) :: defines_var(INT____00171);
|
|
constraint bool2int(BOOL____00129, INT____00172) :: defines_var(INT____00172);
|
|
constraint bool2int(BOOL____00131, INT____00173) :: defines_var(INT____00173);
|
|
constraint bool2int(BOOL____00133, INT____00174) :: defines_var(INT____00174);
|
|
constraint bool2int(BOOL____00135, INT____00175) :: defines_var(INT____00175);
|
|
constraint bool2int(BOOL____00137, INT____00176) :: defines_var(INT____00176);
|
|
constraint bool2int(BOOL____00139, INT____00177) :: defines_var(INT____00177);
|
|
constraint bool2int(BOOL____00141, INT____00178) :: defines_var(INT____00178);
|
|
constraint bool2int(BOOL____00143, INT____00181) :: defines_var(INT____00181);
|
|
constraint bool2int(BOOL____00145, INT____00182) :: defines_var(INT____00182);
|
|
constraint bool2int(BOOL____00147, INT____00183) :: defines_var(INT____00183);
|
|
constraint bool2int(BOOL____00149, INT____00179) :: defines_var(INT____00179);
|
|
constraint bool2int(BOOL____00151, INT____00180) :: defines_var(INT____00180);
|
|
constraint bool2int(BOOL____00153, INT____00184) :: defines_var(INT____00184);
|
|
constraint bool2int(BOOL____00155, INT____00185) :: defines_var(INT____00185);
|
|
constraint bool2int(BOOL____00157, INT____00186) :: defines_var(INT____00186);
|
|
constraint bool2int(BOOL____00189, INT____00246) :: defines_var(INT____00246);
|
|
constraint bool2int(BOOL____00191, INT____00247) :: defines_var(INT____00247);
|
|
constraint bool2int(BOOL____00193, INT____00248) :: defines_var(INT____00248);
|
|
constraint bool2int(BOOL____00195, INT____00249) :: defines_var(INT____00249);
|
|
constraint bool2int(BOOL____00197, INT____00250) :: defines_var(INT____00250);
|
|
constraint bool2int(BOOL____00199, INT____00251) :: defines_var(INT____00251);
|
|
constraint bool2int(BOOL____00201, INT____00252) :: defines_var(INT____00252);
|
|
constraint bool2int(BOOL____00203, INT____00253) :: defines_var(INT____00253);
|
|
constraint bool2int(BOOL____00205, INT____00254) :: defines_var(INT____00254);
|
|
constraint bool2int(BOOL____00207, INT____00255) :: defines_var(INT____00255);
|
|
constraint bool2int(BOOL____00209, INT____00256) :: defines_var(INT____00256);
|
|
constraint bool2int(BOOL____00211, INT____00257) :: defines_var(INT____00257);
|
|
constraint bool2int(BOOL____00213, INT____00258) :: defines_var(INT____00258);
|
|
constraint bool2int(BOOL____00215, INT____00259) :: defines_var(INT____00259);
|
|
constraint bool2int(BOOL____00217, INT____00260) :: defines_var(INT____00260);
|
|
constraint bool2int(BOOL____00219, INT____00261) :: defines_var(INT____00261);
|
|
constraint bool2int(BOOL____00221, INT____00262) :: defines_var(INT____00262);
|
|
constraint bool2int(BOOL____00223, INT____00263) :: defines_var(INT____00263);
|
|
constraint bool2int(BOOL____00225, INT____00264) :: defines_var(INT____00264);
|
|
constraint bool2int(BOOL____00227, INT____00265) :: defines_var(INT____00265);
|
|
constraint bool2int(BOOL____00229, INT____00266) :: defines_var(INT____00266);
|
|
constraint bool2int(BOOL____00231, INT____00269) :: defines_var(INT____00269);
|
|
constraint bool2int(BOOL____00233, INT____00270) :: defines_var(INT____00270);
|
|
constraint bool2int(BOOL____00235, INT____00271) :: defines_var(INT____00271);
|
|
constraint bool2int(BOOL____00237, INT____00267) :: defines_var(INT____00267);
|
|
constraint bool2int(BOOL____00239, INT____00268) :: defines_var(INT____00268);
|
|
constraint bool2int(BOOL____00241, INT____00272) :: defines_var(INT____00272);
|
|
constraint bool2int(BOOL____00243, INT____00273) :: defines_var(INT____00273);
|
|
constraint bool2int(BOOL____00245, INT____00274) :: defines_var(INT____00274);
|
|
constraint bool2int(BOOL____00277, INT____00334) :: defines_var(INT____00334);
|
|
constraint bool2int(BOOL____00279, INT____00335) :: defines_var(INT____00335);
|
|
constraint bool2int(BOOL____00281, INT____00336) :: defines_var(INT____00336);
|
|
constraint bool2int(BOOL____00283, INT____00337) :: defines_var(INT____00337);
|
|
constraint bool2int(BOOL____00285, INT____00338) :: defines_var(INT____00338);
|
|
constraint bool2int(BOOL____00287, INT____00339) :: defines_var(INT____00339);
|
|
constraint bool2int(BOOL____00289, INT____00340) :: defines_var(INT____00340);
|
|
constraint bool2int(BOOL____00291, INT____00341) :: defines_var(INT____00341);
|
|
constraint bool2int(BOOL____00293, INT____00342) :: defines_var(INT____00342);
|
|
constraint bool2int(BOOL____00295, INT____00343) :: defines_var(INT____00343);
|
|
constraint bool2int(BOOL____00297, INT____00344) :: defines_var(INT____00344);
|
|
constraint bool2int(BOOL____00299, INT____00345) :: defines_var(INT____00345);
|
|
constraint bool2int(BOOL____00301, INT____00346) :: defines_var(INT____00346);
|
|
constraint bool2int(BOOL____00303, INT____00347) :: defines_var(INT____00347);
|
|
constraint bool2int(BOOL____00305, INT____00348) :: defines_var(INT____00348);
|
|
constraint bool2int(BOOL____00307, INT____00349) :: defines_var(INT____00349);
|
|
constraint bool2int(BOOL____00309, INT____00350) :: defines_var(INT____00350);
|
|
constraint bool2int(BOOL____00311, INT____00351) :: defines_var(INT____00351);
|
|
constraint bool2int(BOOL____00313, INT____00352) :: defines_var(INT____00352);
|
|
constraint bool2int(BOOL____00315, INT____00353) :: defines_var(INT____00353);
|
|
constraint bool2int(BOOL____00317, INT____00354) :: defines_var(INT____00354);
|
|
constraint bool2int(BOOL____00319, INT____00357) :: defines_var(INT____00357);
|
|
constraint bool2int(BOOL____00321, INT____00358) :: defines_var(INT____00358);
|
|
constraint bool2int(BOOL____00323, INT____00359) :: defines_var(INT____00359);
|
|
constraint bool2int(BOOL____00325, INT____00355) :: defines_var(INT____00355);
|
|
constraint bool2int(BOOL____00327, INT____00356) :: defines_var(INT____00356);
|
|
constraint bool2int(BOOL____00329, INT____00360) :: defines_var(INT____00360);
|
|
constraint bool2int(BOOL____00331, INT____00361) :: defines_var(INT____00361);
|
|
constraint bool2int(BOOL____00333, INT____00362) :: defines_var(INT____00362);
|
|
constraint bool2int(BOOL____00365, INT____00422) :: defines_var(INT____00422);
|
|
constraint bool2int(BOOL____00367, INT____00423) :: defines_var(INT____00423);
|
|
constraint bool2int(BOOL____00369, INT____00424) :: defines_var(INT____00424);
|
|
constraint bool2int(BOOL____00371, INT____00425) :: defines_var(INT____00425);
|
|
constraint bool2int(BOOL____00373, INT____00426) :: defines_var(INT____00426);
|
|
constraint bool2int(BOOL____00375, INT____00427) :: defines_var(INT____00427);
|
|
constraint bool2int(BOOL____00377, INT____00428) :: defines_var(INT____00428);
|
|
constraint bool2int(BOOL____00379, INT____00429) :: defines_var(INT____00429);
|
|
constraint bool2int(BOOL____00381, INT____00430) :: defines_var(INT____00430);
|
|
constraint bool2int(BOOL____00383, INT____00431) :: defines_var(INT____00431);
|
|
constraint bool2int(BOOL____00385, INT____00432) :: defines_var(INT____00432);
|
|
constraint bool2int(BOOL____00387, INT____00433) :: defines_var(INT____00433);
|
|
constraint bool2int(BOOL____00389, INT____00434) :: defines_var(INT____00434);
|
|
constraint bool2int(BOOL____00391, INT____00435) :: defines_var(INT____00435);
|
|
constraint bool2int(BOOL____00393, INT____00436) :: defines_var(INT____00436);
|
|
constraint bool2int(BOOL____00395, INT____00437) :: defines_var(INT____00437);
|
|
constraint bool2int(BOOL____00397, INT____00438) :: defines_var(INT____00438);
|
|
constraint bool2int(BOOL____00399, INT____00439) :: defines_var(INT____00439);
|
|
constraint bool2int(BOOL____00401, INT____00440) :: defines_var(INT____00440);
|
|
constraint bool2int(BOOL____00403, INT____00441) :: defines_var(INT____00441);
|
|
constraint bool2int(BOOL____00405, INT____00442) :: defines_var(INT____00442);
|
|
constraint bool2int(BOOL____00407, INT____00445) :: defines_var(INT____00445);
|
|
constraint bool2int(BOOL____00409, INT____00446) :: defines_var(INT____00446);
|
|
constraint bool2int(BOOL____00411, INT____00447) :: defines_var(INT____00447);
|
|
constraint bool2int(BOOL____00413, INT____00443) :: defines_var(INT____00443);
|
|
constraint bool2int(BOOL____00415, INT____00444) :: defines_var(INT____00444);
|
|
constraint bool2int(BOOL____00417, INT____00448) :: defines_var(INT____00448);
|
|
constraint bool2int(BOOL____00419, INT____00449) :: defines_var(INT____00449);
|
|
constraint bool2int(BOOL____00421, INT____00450) :: defines_var(INT____00450);
|
|
constraint int_abs(INT____00452, INT____00453) :: defines_var(INT____00453);
|
|
constraint int_abs(INT____00454, INT____00455) :: defines_var(INT____00455);
|
|
constraint int_abs(INT____00457, INT____00458) :: defines_var(INT____00458);
|
|
constraint int_abs(INT____00459, INT____00460) :: defines_var(INT____00460);
|
|
constraint int_abs(INT____00462, INT____00463) :: defines_var(INT____00463);
|
|
constraint int_abs(INT____00464, INT____00465) :: defines_var(INT____00465);
|
|
constraint int_abs(INT____00467, INT____00468) :: defines_var(INT____00468);
|
|
constraint int_abs(INT____00469, INT____00470) :: defines_var(INT____00470);
|
|
constraint int_abs(INT____00472, INT____00473) :: defines_var(INT____00473);
|
|
constraint int_abs(INT____00474, INT____00475) :: defines_var(INT____00475);
|
|
constraint int_abs(INT____00476, INT____00477) :: defines_var(INT____00477);
|
|
constraint int_abs(INT____00478, INT____00479) :: defines_var(INT____00479);
|
|
constraint int_abs(INT____00480, INT____00481) :: defines_var(INT____00481);
|
|
constraint int_abs(INT____00482, INT____00483) :: defines_var(INT____00483);
|
|
constraint int_abs(INT____00484, INT____00485) :: defines_var(INT____00485);
|
|
constraint int_abs(INT____00486, INT____00487) :: defines_var(INT____00487);
|
|
constraint int_abs(INT____00488, INT____00489) :: defines_var(INT____00489);
|
|
constraint int_abs(INT____00490, INT____00491) :: defines_var(INT____00491);
|
|
constraint int_abs(INT____00492, INT____00493) :: defines_var(INT____00493);
|
|
constraint int_abs(INT____00494, INT____00495) :: defines_var(INT____00495);
|
|
constraint int_div(team_size[1], 2, INT____00451) :: defines_var(INT____00451);
|
|
constraint int_div(team_size[2], 2, INT____00456) :: defines_var(INT____00456);
|
|
constraint int_div(team_size[3], 2, INT____00461) :: defines_var(INT____00461);
|
|
constraint int_div(team_size[4], 2, INT____00466) :: defines_var(INT____00466);
|
|
constraint int_div(team_size[5], 2, INT____00471) :: defines_var(INT____00471);
|
|
constraint int_eq(size_departments[1], 6);
|
|
constraint int_eq(size_departments[2], 9);
|
|
constraint int_eq(size_departments[3], 8);
|
|
constraint int_eq(size_departments[4], 3);
|
|
constraint int_eq(size_departments[5], 3);
|
|
constraint int_eq_reif(which_team[1], 1, BOOL____00013) :: defines_var(BOOL____00013);
|
|
constraint int_eq_reif(which_team[1], 2, BOOL____00101) :: defines_var(BOOL____00101);
|
|
constraint int_eq_reif(which_team[1], 3, BOOL____00189) :: defines_var(BOOL____00189);
|
|
constraint int_eq_reif(which_team[1], 4, BOOL____00277) :: defines_var(BOOL____00277);
|
|
constraint int_eq_reif(which_team[1], 5, BOOL____00365) :: defines_var(BOOL____00365);
|
|
constraint int_eq_reif(which_team[2], 1, BOOL____00015) :: defines_var(BOOL____00015);
|
|
constraint int_eq_reif(which_team[2], 2, BOOL____00103) :: defines_var(BOOL____00103);
|
|
constraint int_eq_reif(which_team[2], 3, BOOL____00191) :: defines_var(BOOL____00191);
|
|
constraint int_eq_reif(which_team[2], 4, BOOL____00279) :: defines_var(BOOL____00279);
|
|
constraint int_eq_reif(which_team[2], 5, BOOL____00367) :: defines_var(BOOL____00367);
|
|
constraint int_eq_reif(which_team[3], 1, BOOL____00017) :: defines_var(BOOL____00017);
|
|
constraint int_eq_reif(which_team[3], 2, BOOL____00105) :: defines_var(BOOL____00105);
|
|
constraint int_eq_reif(which_team[3], 3, BOOL____00193) :: defines_var(BOOL____00193);
|
|
constraint int_eq_reif(which_team[3], 4, BOOL____00281) :: defines_var(BOOL____00281);
|
|
constraint int_eq_reif(which_team[3], 5, BOOL____00369) :: defines_var(BOOL____00369);
|
|
constraint int_eq_reif(which_team[4], 1, BOOL____00019) :: defines_var(BOOL____00019);
|
|
constraint int_eq_reif(which_team[4], 2, BOOL____00107) :: defines_var(BOOL____00107);
|
|
constraint int_eq_reif(which_team[4], 3, BOOL____00195) :: defines_var(BOOL____00195);
|
|
constraint int_eq_reif(which_team[4], 4, BOOL____00283) :: defines_var(BOOL____00283);
|
|
constraint int_eq_reif(which_team[4], 5, BOOL____00371) :: defines_var(BOOL____00371);
|
|
constraint int_eq_reif(which_team[5], 1, BOOL____00021) :: defines_var(BOOL____00021);
|
|
constraint int_eq_reif(which_team[5], 2, BOOL____00109) :: defines_var(BOOL____00109);
|
|
constraint int_eq_reif(which_team[5], 3, BOOL____00197) :: defines_var(BOOL____00197);
|
|
constraint int_eq_reif(which_team[5], 4, BOOL____00285) :: defines_var(BOOL____00285);
|
|
constraint int_eq_reif(which_team[5], 5, BOOL____00373) :: defines_var(BOOL____00373);
|
|
constraint int_eq_reif(which_team[6], 1, BOOL____00023) :: defines_var(BOOL____00023);
|
|
constraint int_eq_reif(which_team[6], 2, BOOL____00111) :: defines_var(BOOL____00111);
|
|
constraint int_eq_reif(which_team[6], 3, BOOL____00199) :: defines_var(BOOL____00199);
|
|
constraint int_eq_reif(which_team[6], 4, BOOL____00287) :: defines_var(BOOL____00287);
|
|
constraint int_eq_reif(which_team[6], 5, BOOL____00375) :: defines_var(BOOL____00375);
|
|
constraint int_eq_reif(which_team[7], 1, BOOL____00025) :: defines_var(BOOL____00025);
|
|
constraint int_eq_reif(which_team[7], 2, BOOL____00113) :: defines_var(BOOL____00113);
|
|
constraint int_eq_reif(which_team[7], 3, BOOL____00201) :: defines_var(BOOL____00201);
|
|
constraint int_eq_reif(which_team[7], 4, BOOL____00289) :: defines_var(BOOL____00289);
|
|
constraint int_eq_reif(which_team[7], 5, BOOL____00377) :: defines_var(BOOL____00377);
|
|
constraint int_eq_reif(which_team[8], 1, BOOL____00027) :: defines_var(BOOL____00027);
|
|
constraint int_eq_reif(which_team[8], 2, BOOL____00115) :: defines_var(BOOL____00115);
|
|
constraint int_eq_reif(which_team[8], 3, BOOL____00203) :: defines_var(BOOL____00203);
|
|
constraint int_eq_reif(which_team[8], 4, BOOL____00291) :: defines_var(BOOL____00291);
|
|
constraint int_eq_reif(which_team[8], 5, BOOL____00379) :: defines_var(BOOL____00379);
|
|
constraint int_eq_reif(which_team[9], 1, BOOL____00029) :: defines_var(BOOL____00029);
|
|
constraint int_eq_reif(which_team[9], 2, BOOL____00117) :: defines_var(BOOL____00117);
|
|
constraint int_eq_reif(which_team[9], 3, BOOL____00205) :: defines_var(BOOL____00205);
|
|
constraint int_eq_reif(which_team[9], 4, BOOL____00293) :: defines_var(BOOL____00293);
|
|
constraint int_eq_reif(which_team[9], 5, BOOL____00381) :: defines_var(BOOL____00381);
|
|
constraint int_eq_reif(which_team[10], 1, BOOL____00031) :: defines_var(BOOL____00031);
|
|
constraint int_eq_reif(which_team[10], 2, BOOL____00119) :: defines_var(BOOL____00119);
|
|
constraint int_eq_reif(which_team[10], 3, BOOL____00207) :: defines_var(BOOL____00207);
|
|
constraint int_eq_reif(which_team[10], 4, BOOL____00295) :: defines_var(BOOL____00295);
|
|
constraint int_eq_reif(which_team[10], 5, BOOL____00383) :: defines_var(BOOL____00383);
|
|
constraint int_eq_reif(which_team[11], 1, BOOL____00033) :: defines_var(BOOL____00033);
|
|
constraint int_eq_reif(which_team[11], 2, BOOL____00121) :: defines_var(BOOL____00121);
|
|
constraint int_eq_reif(which_team[11], 3, BOOL____00209) :: defines_var(BOOL____00209);
|
|
constraint int_eq_reif(which_team[11], 4, BOOL____00297) :: defines_var(BOOL____00297);
|
|
constraint int_eq_reif(which_team[11], 5, BOOL____00385) :: defines_var(BOOL____00385);
|
|
constraint int_eq_reif(which_team[12], 1, BOOL____00035) :: defines_var(BOOL____00035);
|
|
constraint int_eq_reif(which_team[12], 2, BOOL____00123) :: defines_var(BOOL____00123);
|
|
constraint int_eq_reif(which_team[12], 3, BOOL____00211) :: defines_var(BOOL____00211);
|
|
constraint int_eq_reif(which_team[12], 4, BOOL____00299) :: defines_var(BOOL____00299);
|
|
constraint int_eq_reif(which_team[12], 5, BOOL____00387) :: defines_var(BOOL____00387);
|
|
constraint int_eq_reif(which_team[13], 1, BOOL____00037) :: defines_var(BOOL____00037);
|
|
constraint int_eq_reif(which_team[13], 2, BOOL____00125) :: defines_var(BOOL____00125);
|
|
constraint int_eq_reif(which_team[13], 3, BOOL____00213) :: defines_var(BOOL____00213);
|
|
constraint int_eq_reif(which_team[13], 4, BOOL____00301) :: defines_var(BOOL____00301);
|
|
constraint int_eq_reif(which_team[13], 5, BOOL____00389) :: defines_var(BOOL____00389);
|
|
constraint int_eq_reif(which_team[14], 1, BOOL____00039) :: defines_var(BOOL____00039);
|
|
constraint int_eq_reif(which_team[14], 2, BOOL____00127) :: defines_var(BOOL____00127);
|
|
constraint int_eq_reif(which_team[14], 3, BOOL____00215) :: defines_var(BOOL____00215);
|
|
constraint int_eq_reif(which_team[14], 4, BOOL____00303) :: defines_var(BOOL____00303);
|
|
constraint int_eq_reif(which_team[14], 5, BOOL____00391) :: defines_var(BOOL____00391);
|
|
constraint int_eq_reif(which_team[15], 1, BOOL____00041) :: defines_var(BOOL____00041);
|
|
constraint int_eq_reif(which_team[15], 2, BOOL____00129) :: defines_var(BOOL____00129);
|
|
constraint int_eq_reif(which_team[15], 3, BOOL____00217) :: defines_var(BOOL____00217);
|
|
constraint int_eq_reif(which_team[15], 4, BOOL____00305) :: defines_var(BOOL____00305);
|
|
constraint int_eq_reif(which_team[15], 5, BOOL____00393) :: defines_var(BOOL____00393);
|
|
constraint int_eq_reif(which_team[16], 1, BOOL____00043) :: defines_var(BOOL____00043);
|
|
constraint int_eq_reif(which_team[16], 2, BOOL____00131) :: defines_var(BOOL____00131);
|
|
constraint int_eq_reif(which_team[16], 3, BOOL____00219) :: defines_var(BOOL____00219);
|
|
constraint int_eq_reif(which_team[16], 4, BOOL____00307) :: defines_var(BOOL____00307);
|
|
constraint int_eq_reif(which_team[16], 5, BOOL____00395) :: defines_var(BOOL____00395);
|
|
constraint int_eq_reif(which_team[17], 1, BOOL____00045) :: defines_var(BOOL____00045);
|
|
constraint int_eq_reif(which_team[17], 2, BOOL____00133) :: defines_var(BOOL____00133);
|
|
constraint int_eq_reif(which_team[17], 3, BOOL____00221) :: defines_var(BOOL____00221);
|
|
constraint int_eq_reif(which_team[17], 4, BOOL____00309) :: defines_var(BOOL____00309);
|
|
constraint int_eq_reif(which_team[17], 5, BOOL____00397) :: defines_var(BOOL____00397);
|
|
constraint int_eq_reif(which_team[18], 1, BOOL____00047) :: defines_var(BOOL____00047);
|
|
constraint int_eq_reif(which_team[18], 2, BOOL____00135) :: defines_var(BOOL____00135);
|
|
constraint int_eq_reif(which_team[18], 3, BOOL____00223) :: defines_var(BOOL____00223);
|
|
constraint int_eq_reif(which_team[18], 4, BOOL____00311) :: defines_var(BOOL____00311);
|
|
constraint int_eq_reif(which_team[18], 5, BOOL____00399) :: defines_var(BOOL____00399);
|
|
constraint int_eq_reif(which_team[19], 1, BOOL____00049) :: defines_var(BOOL____00049);
|
|
constraint int_eq_reif(which_team[19], 2, BOOL____00137) :: defines_var(BOOL____00137);
|
|
constraint int_eq_reif(which_team[19], 3, BOOL____00225) :: defines_var(BOOL____00225);
|
|
constraint int_eq_reif(which_team[19], 4, BOOL____00313) :: defines_var(BOOL____00313);
|
|
constraint int_eq_reif(which_team[19], 5, BOOL____00401) :: defines_var(BOOL____00401);
|
|
constraint int_eq_reif(which_team[20], 1, BOOL____00051) :: defines_var(BOOL____00051);
|
|
constraint int_eq_reif(which_team[20], 2, BOOL____00139) :: defines_var(BOOL____00139);
|
|
constraint int_eq_reif(which_team[20], 3, BOOL____00227) :: defines_var(BOOL____00227);
|
|
constraint int_eq_reif(which_team[20], 4, BOOL____00315) :: defines_var(BOOL____00315);
|
|
constraint int_eq_reif(which_team[20], 5, BOOL____00403) :: defines_var(BOOL____00403);
|
|
constraint int_eq_reif(which_team[21], 1, BOOL____00053) :: defines_var(BOOL____00053);
|
|
constraint int_eq_reif(which_team[21], 2, BOOL____00141) :: defines_var(BOOL____00141);
|
|
constraint int_eq_reif(which_team[21], 3, BOOL____00229) :: defines_var(BOOL____00229);
|
|
constraint int_eq_reif(which_team[21], 4, BOOL____00317) :: defines_var(BOOL____00317);
|
|
constraint int_eq_reif(which_team[21], 5, BOOL____00405) :: defines_var(BOOL____00405);
|
|
constraint int_eq_reif(which_team[22], 1, BOOL____00055) :: defines_var(BOOL____00055);
|
|
constraint int_eq_reif(which_team[22], 2, BOOL____00143) :: defines_var(BOOL____00143);
|
|
constraint int_eq_reif(which_team[22], 3, BOOL____00231) :: defines_var(BOOL____00231);
|
|
constraint int_eq_reif(which_team[22], 4, BOOL____00319) :: defines_var(BOOL____00319);
|
|
constraint int_eq_reif(which_team[22], 5, BOOL____00407) :: defines_var(BOOL____00407);
|
|
constraint int_eq_reif(which_team[23], 1, BOOL____00057) :: defines_var(BOOL____00057);
|
|
constraint int_eq_reif(which_team[23], 2, BOOL____00145) :: defines_var(BOOL____00145);
|
|
constraint int_eq_reif(which_team[23], 3, BOOL____00233) :: defines_var(BOOL____00233);
|
|
constraint int_eq_reif(which_team[23], 4, BOOL____00321) :: defines_var(BOOL____00321);
|
|
constraint int_eq_reif(which_team[23], 5, BOOL____00409) :: defines_var(BOOL____00409);
|
|
constraint int_eq_reif(which_team[24], 1, BOOL____00059) :: defines_var(BOOL____00059);
|
|
constraint int_eq_reif(which_team[24], 2, BOOL____00147) :: defines_var(BOOL____00147);
|
|
constraint int_eq_reif(which_team[24], 3, BOOL____00235) :: defines_var(BOOL____00235);
|
|
constraint int_eq_reif(which_team[24], 4, BOOL____00323) :: defines_var(BOOL____00323);
|
|
constraint int_eq_reif(which_team[24], 5, BOOL____00411) :: defines_var(BOOL____00411);
|
|
constraint int_eq_reif(which_team[25], 1, BOOL____00061) :: defines_var(BOOL____00061);
|
|
constraint int_eq_reif(which_team[25], 2, BOOL____00149) :: defines_var(BOOL____00149);
|
|
constraint int_eq_reif(which_team[25], 3, BOOL____00237) :: defines_var(BOOL____00237);
|
|
constraint int_eq_reif(which_team[25], 4, BOOL____00325) :: defines_var(BOOL____00325);
|
|
constraint int_eq_reif(which_team[25], 5, BOOL____00413) :: defines_var(BOOL____00413);
|
|
constraint int_eq_reif(which_team[26], 1, BOOL____00063) :: defines_var(BOOL____00063);
|
|
constraint int_eq_reif(which_team[26], 2, BOOL____00151) :: defines_var(BOOL____00151);
|
|
constraint int_eq_reif(which_team[26], 3, BOOL____00239) :: defines_var(BOOL____00239);
|
|
constraint int_eq_reif(which_team[26], 4, BOOL____00327) :: defines_var(BOOL____00327);
|
|
constraint int_eq_reif(which_team[26], 5, BOOL____00415) :: defines_var(BOOL____00415);
|
|
constraint int_eq_reif(which_team[27], 1, BOOL____00065) :: defines_var(BOOL____00065);
|
|
constraint int_eq_reif(which_team[27], 2, BOOL____00153) :: defines_var(BOOL____00153);
|
|
constraint int_eq_reif(which_team[27], 3, BOOL____00241) :: defines_var(BOOL____00241);
|
|
constraint int_eq_reif(which_team[27], 4, BOOL____00329) :: defines_var(BOOL____00329);
|
|
constraint int_eq_reif(which_team[27], 5, BOOL____00417) :: defines_var(BOOL____00417);
|
|
constraint int_eq_reif(which_team[28], 1, BOOL____00067) :: defines_var(BOOL____00067);
|
|
constraint int_eq_reif(which_team[28], 2, BOOL____00155) :: defines_var(BOOL____00155);
|
|
constraint int_eq_reif(which_team[28], 3, BOOL____00243) :: defines_var(BOOL____00243);
|
|
constraint int_eq_reif(which_team[28], 4, BOOL____00331) :: defines_var(BOOL____00331);
|
|
constraint int_eq_reif(which_team[28], 5, BOOL____00419) :: defines_var(BOOL____00419);
|
|
constraint int_eq_reif(which_team[29], 1, BOOL____00069) :: defines_var(BOOL____00069);
|
|
constraint int_eq_reif(which_team[29], 2, BOOL____00157) :: defines_var(BOOL____00157);
|
|
constraint int_eq_reif(which_team[29], 3, BOOL____00245) :: defines_var(BOOL____00245);
|
|
constraint int_eq_reif(which_team[29], 4, BOOL____00333) :: defines_var(BOOL____00333);
|
|
constraint int_eq_reif(which_team[29], 5, BOOL____00421) :: defines_var(BOOL____00421);
|
|
constraint int_le(1, team_departments[1]);
|
|
constraint int_le(1, team_departments[2]);
|
|
constraint int_le(1, team_departments[3]);
|
|
constraint int_le(1, team_departments[6]);
|
|
constraint int_le(1, team_departments[7]);
|
|
constraint int_le(1, team_departments[8]);
|
|
constraint int_le(1, team_departments[11]);
|
|
constraint int_le(1, team_departments[12]);
|
|
constraint int_le(1, team_departments[13]);
|
|
constraint int_le(1, team_departments[16]);
|
|
constraint int_le(1, team_departments[17]);
|
|
constraint int_le(1, team_departments[18]);
|
|
constraint int_le(1, team_departments[21]);
|
|
constraint int_le(1, team_departments[22]);
|
|
constraint int_le(1, team_departments[23]);
|
|
constraint int_le(2, team_place[1]);
|
|
constraint int_le(2, team_place[2]);
|
|
constraint int_le(2, team_place[3]);
|
|
constraint int_le(2, team_place[4]);
|
|
constraint int_le(2, team_place[5]);
|
|
constraint int_le(2, team_place[6]);
|
|
constraint int_le(2, team_place[7]);
|
|
constraint int_le(2, team_place[8]);
|
|
constraint int_le(2, team_place[9]);
|
|
constraint int_le(2, team_place[10]);
|
|
constraint int_le(2, team_sex[1]);
|
|
constraint int_le(2, team_sex[2]);
|
|
constraint int_le(2, team_sex[3]);
|
|
constraint int_le(2, team_sex[4]);
|
|
constraint int_le(2, team_sex[5]);
|
|
constraint int_le(2, team_sex[6]);
|
|
constraint int_le(2, team_sex[7]);
|
|
constraint int_le(2, team_sex[8]);
|
|
constraint int_le(2, team_sex[9]);
|
|
constraint int_le(2, team_sex[10]);
|
|
constraint int_le(team_departments[1], 2);
|
|
constraint int_le(team_departments[2], 2);
|
|
constraint int_le(team_departments[3], 2);
|
|
constraint int_le(team_departments[4], 1);
|
|
constraint int_le(team_departments[5], 1);
|
|
constraint int_le(team_departments[6], 2);
|
|
constraint int_le(team_departments[7], 2);
|
|
constraint int_le(team_departments[8], 2);
|
|
constraint int_le(team_departments[9], 1);
|
|
constraint int_le(team_departments[10], 1);
|
|
constraint int_le(team_departments[11], 2);
|
|
constraint int_le(team_departments[12], 2);
|
|
constraint int_le(team_departments[13], 2);
|
|
constraint int_le(team_departments[14], 1);
|
|
constraint int_le(team_departments[15], 1);
|
|
constraint int_le(team_departments[16], 2);
|
|
constraint int_le(team_departments[17], 2);
|
|
constraint int_le(team_departments[18], 2);
|
|
constraint int_le(team_departments[19], 1);
|
|
constraint int_le(team_departments[20], 1);
|
|
constraint int_le(team_departments[21], 2);
|
|
constraint int_le(team_departments[22], 2);
|
|
constraint int_le(team_departments[23], 2);
|
|
constraint int_le(team_departments[24], 1);
|
|
constraint int_le(team_departments[25], 1);
|
|
constraint int_le(team_place[1], 4);
|
|
constraint int_le(team_place[2], 4);
|
|
constraint int_le(team_place[3], 4);
|
|
constraint int_le(team_place[4], 4);
|
|
constraint int_le(team_place[5], 4);
|
|
constraint int_le(team_place[6], 4);
|
|
constraint int_le(team_place[7], 4);
|
|
constraint int_le(team_place[8], 4);
|
|
constraint int_le(team_place[9], 4);
|
|
constraint int_le(team_place[10], 4);
|
|
constraint int_le(team_sex[1], 4);
|
|
constraint int_le(team_sex[2], 4);
|
|
constraint int_le(team_sex[3], 4);
|
|
constraint int_le(team_sex[4], 4);
|
|
constraint int_le(team_sex[5], 4);
|
|
constraint int_le(team_sex[6], 4);
|
|
constraint int_le(team_sex[7], 4);
|
|
constraint int_le(team_sex[8], 4);
|
|
constraint int_le(team_sex[9], 4);
|
|
constraint int_le(team_sex[10], 4);
|
|
constraint int_le(team_size[2], team_size[1]);
|
|
constraint int_le(team_size[3], team_size[2]);
|
|
constraint int_le(team_size[4], team_size[3]);
|
|
constraint int_le(team_size[5], team_size[4]);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00452, INT____00451, team_sex[1]], 0) :: defines_var(INT____00452);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00454, INT____00451, team_sex[2]], 0) :: defines_var(INT____00454);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00457, INT____00456, team_sex[3]], 0) :: defines_var(INT____00457);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00459, INT____00456, team_sex[4]], 0) :: defines_var(INT____00459);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00462, INT____00461, team_sex[5]], 0) :: defines_var(INT____00462);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00464, INT____00461, team_sex[6]], 0) :: defines_var(INT____00464);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00467, INT____00466, team_sex[7]], 0) :: defines_var(INT____00467);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00469, INT____00466, team_sex[8]], 0) :: defines_var(INT____00469);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00472, INT____00471, team_sex[9]], 0) :: defines_var(INT____00472);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00474, INT____00471, team_sex[10]], 0) :: defines_var(INT____00474);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00476, INT____00451, team_place[1]], 0) :: defines_var(INT____00476);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00478, INT____00451, team_place[2]], 0) :: defines_var(INT____00478);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00480, INT____00456, team_place[3]], 0) :: defines_var(INT____00480);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00482, INT____00456, team_place[4]], 0) :: defines_var(INT____00482);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00484, INT____00461, team_place[5]], 0) :: defines_var(INT____00484);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00486, INT____00461, team_place[6]], 0) :: defines_var(INT____00486);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00488, INT____00466, team_place[7]], 0) :: defines_var(INT____00488);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00490, INT____00466, team_place[8]], 0) :: defines_var(INT____00490);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00492, INT____00471, team_place[9]], 0) :: defines_var(INT____00492);
|
|
constraint int_lin_eq([-1, -1, 1], [INT____00494, INT____00471, team_place[10]], 0) :: defines_var(INT____00494);
|
|
constraint int_lin_eq([-1, -1, -1, 1], [INT____00093, INT____00094, INT____00095, team_departments[4]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, 1], [INT____00096, INT____00097, INT____00098, team_departments[5]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, 1], [INT____00181, INT____00182, INT____00183, team_departments[9]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, 1], [INT____00184, INT____00185, INT____00186, team_departments[10]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, 1], [INT____00269, INT____00270, INT____00271, team_departments[14]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, 1], [INT____00272, INT____00273, INT____00274, team_departments[15]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, 1], [INT____00357, INT____00358, INT____00359, team_departments[19]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, 1], [INT____00360, INT____00361, INT____00362, team_departments[20]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, 1], [INT____00445, INT____00446, INT____00447, team_departments[24]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, 1], [INT____00448, INT____00449, INT____00450, team_departments[25]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, 1], [INT____00070, INT____00071, INT____00072, INT____00073, INT____00074, INT____00075, team_departments[1]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, 1], [INT____00158, INT____00159, INT____00160, INT____00161, INT____00162, INT____00163, team_departments[6]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, 1], [INT____00246, INT____00247, INT____00248, INT____00249, INT____00250, INT____00251, team_departments[11]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, 1], [INT____00334, INT____00335, INT____00336, INT____00337, INT____00338, INT____00339, team_departments[16]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, 1], [INT____00422, INT____00423, INT____00424, INT____00425, INT____00426, INT____00427, team_departments[21]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00085, INT____00086, INT____00087, INT____00088, INT____00089, INT____00090, INT____00091, INT____00092, team_departments[3]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00173, INT____00174, INT____00175, INT____00176, INT____00177, INT____00178, INT____00179, INT____00180, team_departments[8]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00261, INT____00262, INT____00263, INT____00264, INT____00265, INT____00266, INT____00267, INT____00268, team_departments[13]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00349, INT____00350, INT____00351, INT____00352, INT____00353, INT____00354, INT____00355, INT____00356, team_departments[18]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00437, INT____00438, INT____00439, INT____00440, INT____00441, INT____00442, INT____00443, INT____00444, team_departments[23]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00076, INT____00077, INT____00078, INT____00079, INT____00080, INT____00081, INT____00082, INT____00083, INT____00084, team_departments[2]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00164, INT____00165, INT____00166, INT____00167, INT____00168, INT____00169, INT____00170, INT____00171, INT____00172, team_departments[7]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00252, INT____00253, INT____00254, INT____00255, INT____00256, INT____00257, INT____00258, INT____00259, INT____00260, team_departments[12]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00340, INT____00341, INT____00342, INT____00343, INT____00344, INT____00345, INT____00346, INT____00347, INT____00348, team_departments[17]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00428, INT____00429, INT____00430, INT____00431, INT____00432, INT____00433, INT____00434, INT____00435, INT____00436, team_departments[22]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00076, INT____00079, INT____00082, INT____00083, INT____00084, INT____00085, INT____00086, INT____00088, INT____00089, INT____00093, INT____00096, team_sex[2]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00164, INT____00167, INT____00170, INT____00171, INT____00172, INT____00173, INT____00174, INT____00176, INT____00177, INT____00181, INT____00184, team_sex[4]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00252, INT____00255, INT____00258, INT____00259, INT____00260, INT____00261, INT____00262, INT____00264, INT____00265, INT____00269, INT____00272, team_sex[6]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00340, INT____00343, INT____00346, INT____00347, INT____00348, INT____00349, INT____00350, INT____00352, INT____00353, INT____00357, INT____00360, team_sex[8]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00428, INT____00431, INT____00434, INT____00435, INT____00436, INT____00437, INT____00438, INT____00440, INT____00441, INT____00445, INT____00448, team_sex[10]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00085, INT____00086, INT____00087, INT____00088, INT____00089, INT____00090, INT____00091, INT____00092, INT____00093, INT____00094, INT____00095, INT____00096, INT____00097, INT____00098, team_place[2]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00173, INT____00174, INT____00175, INT____00176, INT____00177, INT____00178, INT____00179, INT____00180, INT____00181, INT____00182, INT____00183, INT____00184, INT____00185, INT____00186, team_place[4]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00261, INT____00262, INT____00263, INT____00264, INT____00265, INT____00266, INT____00267, INT____00268, INT____00269, INT____00270, INT____00271, INT____00272, INT____00273, INT____00274, team_place[6]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00349, INT____00350, INT____00351, INT____00352, INT____00353, INT____00354, INT____00355, INT____00356, INT____00357, INT____00358, INT____00359, INT____00360, INT____00361, INT____00362, team_place[8]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00437, INT____00438, INT____00439, INT____00440, INT____00441, INT____00442, INT____00443, INT____00444, INT____00445, INT____00446, INT____00447, INT____00448, INT____00449, INT____00450, team_place[10]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00070, INT____00071, INT____00072, INT____00073, INT____00074, INT____00075, INT____00076, INT____00077, INT____00078, INT____00079, INT____00080, INT____00081, INT____00082, INT____00083, INT____00084, team_place[1]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00158, INT____00159, INT____00160, INT____00161, INT____00162, INT____00163, INT____00164, INT____00165, INT____00166, INT____00167, INT____00168, INT____00169, INT____00170, INT____00171, INT____00172, team_place[3]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00246, INT____00247, INT____00248, INT____00249, INT____00250, INT____00251, INT____00252, INT____00253, INT____00254, INT____00255, INT____00256, INT____00257, INT____00258, INT____00259, INT____00260, team_place[5]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00334, INT____00335, INT____00336, INT____00337, INT____00338, INT____00339, INT____00340, INT____00341, INT____00342, INT____00343, INT____00344, INT____00345, INT____00346, INT____00347, INT____00348, team_place[7]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00422, INT____00423, INT____00424, INT____00425, INT____00426, INT____00427, INT____00428, INT____00429, INT____00430, INT____00431, INT____00432, INT____00433, INT____00434, INT____00435, INT____00436, team_place[9]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00070, INT____00071, INT____00072, INT____00073, INT____00074, INT____00075, INT____00077, INT____00078, INT____00080, INT____00081, INT____00087, INT____00090, INT____00091, INT____00092, INT____00094, INT____00095, INT____00097, INT____00098, team_sex[1]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00158, INT____00159, INT____00160, INT____00161, INT____00162, INT____00163, INT____00165, INT____00166, INT____00168, INT____00169, INT____00175, INT____00178, INT____00179, INT____00180, INT____00182, INT____00183, INT____00185, INT____00186, team_sex[3]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00246, INT____00247, INT____00248, INT____00249, INT____00250, INT____00251, INT____00253, INT____00254, INT____00256, INT____00257, INT____00263, INT____00266, INT____00267, INT____00268, INT____00270, INT____00271, INT____00273, INT____00274, team_sex[5]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00334, INT____00335, INT____00336, INT____00337, INT____00338, INT____00339, INT____00341, INT____00342, INT____00344, INT____00345, INT____00351, INT____00354, INT____00355, INT____00356, INT____00358, INT____00359, INT____00361, INT____00362, team_sex[7]], 0);
|
|
constraint int_lin_eq([-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [INT____00422, INT____00423, INT____00424, INT____00425, INT____00426, INT____00427, INT____00429, INT____00430, INT____00432, INT____00433, INT____00439, INT____00442, INT____00443, INT____00444, INT____00446, INT____00447, INT____00449, INT____00450, team_sex[9]], 0);
|
|
constraint int_lin_eq([-1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [INT____00496, INT____00453, INT____00455, INT____00458, INT____00460, INT____00463, INT____00465, INT____00468, INT____00470, INT____00473, INT____00475, INT____00477, INT____00479, INT____00481, INT____00483, INT____00485, INT____00487, INT____00489, INT____00491, INT____00493, INT____00495], 0) :: defines_var(INT____00496);
|
|
constraint set_card(team[1], team_size[1]);
|
|
constraint set_card(team[2], team_size[2]);
|
|
constraint set_card(team[3], team_size[3]);
|
|
constraint set_card(team[4], team_size[4]);
|
|
constraint set_card(team[5], team_size[5]);
|
|
constraint set_eq({}, SET____00001);
|
|
constraint set_eq({}, SET____00002);
|
|
constraint set_eq({}, SET____00003);
|
|
constraint set_eq({}, SET____00004);
|
|
constraint set_eq({}, SET____00005);
|
|
constraint set_eq({}, SET____00006);
|
|
constraint set_eq({}, SET____00007);
|
|
constraint set_eq({}, SET____00008);
|
|
constraint set_eq({}, SET____00009);
|
|
constraint set_eq({}, SET____00010);
|
|
constraint set_in(1, team[1]);
|
|
constraint set_in(2, team[2]);
|
|
constraint set_in(3, team[3]);
|
|
constraint set_in(4, team[4]);
|
|
constraint set_in(5, team[5]);
|
|
constraint set_in_reif(1, team[1], BOOL____00013);
|
|
constraint set_in_reif(1, team[2], BOOL____00101);
|
|
constraint set_in_reif(1, team[3], BOOL____00189);
|
|
constraint set_in_reif(1, team[4], BOOL____00277);
|
|
constraint set_in_reif(1, team[5], BOOL____00365);
|
|
constraint set_in_reif(2, team[1], BOOL____00015);
|
|
constraint set_in_reif(2, team[2], BOOL____00103);
|
|
constraint set_in_reif(2, team[3], BOOL____00191);
|
|
constraint set_in_reif(2, team[4], BOOL____00279);
|
|
constraint set_in_reif(2, team[5], BOOL____00367);
|
|
constraint set_in_reif(3, team[1], BOOL____00017);
|
|
constraint set_in_reif(3, team[2], BOOL____00105);
|
|
constraint set_in_reif(3, team[3], BOOL____00193);
|
|
constraint set_in_reif(3, team[4], BOOL____00281);
|
|
constraint set_in_reif(3, team[5], BOOL____00369);
|
|
constraint set_in_reif(4, team[1], BOOL____00019);
|
|
constraint set_in_reif(4, team[2], BOOL____00107);
|
|
constraint set_in_reif(4, team[3], BOOL____00195);
|
|
constraint set_in_reif(4, team[4], BOOL____00283);
|
|
constraint set_in_reif(4, team[5], BOOL____00371);
|
|
constraint set_in_reif(5, team[1], BOOL____00021);
|
|
constraint set_in_reif(5, team[2], BOOL____00109);
|
|
constraint set_in_reif(5, team[3], BOOL____00197);
|
|
constraint set_in_reif(5, team[4], BOOL____00285);
|
|
constraint set_in_reif(5, team[5], BOOL____00373);
|
|
constraint set_in_reif(6, team[1], BOOL____00023);
|
|
constraint set_in_reif(6, team[2], BOOL____00111);
|
|
constraint set_in_reif(6, team[3], BOOL____00199);
|
|
constraint set_in_reif(6, team[4], BOOL____00287);
|
|
constraint set_in_reif(6, team[5], BOOL____00375);
|
|
constraint set_in_reif(7, team[1], BOOL____00025);
|
|
constraint set_in_reif(7, team[2], BOOL____00113);
|
|
constraint set_in_reif(7, team[3], BOOL____00201);
|
|
constraint set_in_reif(7, team[4], BOOL____00289);
|
|
constraint set_in_reif(7, team[5], BOOL____00377);
|
|
constraint set_in_reif(8, team[1], BOOL____00027);
|
|
constraint set_in_reif(8, team[2], BOOL____00115);
|
|
constraint set_in_reif(8, team[3], BOOL____00203);
|
|
constraint set_in_reif(8, team[4], BOOL____00291);
|
|
constraint set_in_reif(8, team[5], BOOL____00379);
|
|
constraint set_in_reif(9, team[1], BOOL____00029);
|
|
constraint set_in_reif(9, team[2], BOOL____00117);
|
|
constraint set_in_reif(9, team[3], BOOL____00205);
|
|
constraint set_in_reif(9, team[4], BOOL____00293);
|
|
constraint set_in_reif(9, team[5], BOOL____00381);
|
|
constraint set_in_reif(10, team[1], BOOL____00031);
|
|
constraint set_in_reif(10, team[2], BOOL____00119);
|
|
constraint set_in_reif(10, team[3], BOOL____00207);
|
|
constraint set_in_reif(10, team[4], BOOL____00295);
|
|
constraint set_in_reif(10, team[5], BOOL____00383);
|
|
constraint set_in_reif(11, team[1], BOOL____00033);
|
|
constraint set_in_reif(11, team[2], BOOL____00121);
|
|
constraint set_in_reif(11, team[3], BOOL____00209);
|
|
constraint set_in_reif(11, team[4], BOOL____00297);
|
|
constraint set_in_reif(11, team[5], BOOL____00385);
|
|
constraint set_in_reif(12, team[1], BOOL____00035);
|
|
constraint set_in_reif(12, team[2], BOOL____00123);
|
|
constraint set_in_reif(12, team[3], BOOL____00211);
|
|
constraint set_in_reif(12, team[4], BOOL____00299);
|
|
constraint set_in_reif(12, team[5], BOOL____00387);
|
|
constraint set_in_reif(13, team[1], BOOL____00037);
|
|
constraint set_in_reif(13, team[2], BOOL____00125);
|
|
constraint set_in_reif(13, team[3], BOOL____00213);
|
|
constraint set_in_reif(13, team[4], BOOL____00301);
|
|
constraint set_in_reif(13, team[5], BOOL____00389);
|
|
constraint set_in_reif(14, team[1], BOOL____00039);
|
|
constraint set_in_reif(14, team[2], BOOL____00127);
|
|
constraint set_in_reif(14, team[3], BOOL____00215);
|
|
constraint set_in_reif(14, team[4], BOOL____00303);
|
|
constraint set_in_reif(14, team[5], BOOL____00391);
|
|
constraint set_in_reif(15, team[1], BOOL____00041);
|
|
constraint set_in_reif(15, team[2], BOOL____00129);
|
|
constraint set_in_reif(15, team[3], BOOL____00217);
|
|
constraint set_in_reif(15, team[4], BOOL____00305);
|
|
constraint set_in_reif(15, team[5], BOOL____00393);
|
|
constraint set_in_reif(16, team[1], BOOL____00043);
|
|
constraint set_in_reif(16, team[2], BOOL____00131);
|
|
constraint set_in_reif(16, team[3], BOOL____00219);
|
|
constraint set_in_reif(16, team[4], BOOL____00307);
|
|
constraint set_in_reif(16, team[5], BOOL____00395);
|
|
constraint set_in_reif(17, team[1], BOOL____00045);
|
|
constraint set_in_reif(17, team[2], BOOL____00133);
|
|
constraint set_in_reif(17, team[3], BOOL____00221);
|
|
constraint set_in_reif(17, team[4], BOOL____00309);
|
|
constraint set_in_reif(17, team[5], BOOL____00397);
|
|
constraint set_in_reif(18, team[1], BOOL____00047);
|
|
constraint set_in_reif(18, team[2], BOOL____00135);
|
|
constraint set_in_reif(18, team[3], BOOL____00223);
|
|
constraint set_in_reif(18, team[4], BOOL____00311);
|
|
constraint set_in_reif(18, team[5], BOOL____00399);
|
|
constraint set_in_reif(19, team[1], BOOL____00049);
|
|
constraint set_in_reif(19, team[2], BOOL____00137);
|
|
constraint set_in_reif(19, team[3], BOOL____00225);
|
|
constraint set_in_reif(19, team[4], BOOL____00313);
|
|
constraint set_in_reif(19, team[5], BOOL____00401);
|
|
constraint set_in_reif(20, team[1], BOOL____00051);
|
|
constraint set_in_reif(20, team[2], BOOL____00139);
|
|
constraint set_in_reif(20, team[3], BOOL____00227);
|
|
constraint set_in_reif(20, team[4], BOOL____00315);
|
|
constraint set_in_reif(20, team[5], BOOL____00403);
|
|
constraint set_in_reif(21, team[1], BOOL____00053);
|
|
constraint set_in_reif(21, team[2], BOOL____00141);
|
|
constraint set_in_reif(21, team[3], BOOL____00229);
|
|
constraint set_in_reif(21, team[4], BOOL____00317);
|
|
constraint set_in_reif(21, team[5], BOOL____00405);
|
|
constraint set_in_reif(22, team[1], BOOL____00055);
|
|
constraint set_in_reif(22, team[2], BOOL____00143);
|
|
constraint set_in_reif(22, team[3], BOOL____00231);
|
|
constraint set_in_reif(22, team[4], BOOL____00319);
|
|
constraint set_in_reif(22, team[5], BOOL____00407);
|
|
constraint set_in_reif(23, team[1], BOOL____00057);
|
|
constraint set_in_reif(23, team[2], BOOL____00145);
|
|
constraint set_in_reif(23, team[3], BOOL____00233);
|
|
constraint set_in_reif(23, team[4], BOOL____00321);
|
|
constraint set_in_reif(23, team[5], BOOL____00409);
|
|
constraint set_in_reif(24, team[1], BOOL____00059);
|
|
constraint set_in_reif(24, team[2], BOOL____00147);
|
|
constraint set_in_reif(24, team[3], BOOL____00235);
|
|
constraint set_in_reif(24, team[4], BOOL____00323);
|
|
constraint set_in_reif(24, team[5], BOOL____00411);
|
|
constraint set_in_reif(25, team[1], BOOL____00061);
|
|
constraint set_in_reif(25, team[2], BOOL____00149);
|
|
constraint set_in_reif(25, team[3], BOOL____00237);
|
|
constraint set_in_reif(25, team[4], BOOL____00325);
|
|
constraint set_in_reif(25, team[5], BOOL____00413);
|
|
constraint set_in_reif(26, team[1], BOOL____00063);
|
|
constraint set_in_reif(26, team[2], BOOL____00151);
|
|
constraint set_in_reif(26, team[3], BOOL____00239);
|
|
constraint set_in_reif(26, team[4], BOOL____00327);
|
|
constraint set_in_reif(26, team[5], BOOL____00415);
|
|
constraint set_in_reif(27, team[1], BOOL____00065);
|
|
constraint set_in_reif(27, team[2], BOOL____00153);
|
|
constraint set_in_reif(27, team[3], BOOL____00241);
|
|
constraint set_in_reif(27, team[4], BOOL____00329);
|
|
constraint set_in_reif(27, team[5], BOOL____00417);
|
|
constraint set_in_reif(28, team[1], BOOL____00067);
|
|
constraint set_in_reif(28, team[2], BOOL____00155);
|
|
constraint set_in_reif(28, team[3], BOOL____00243);
|
|
constraint set_in_reif(28, team[4], BOOL____00331);
|
|
constraint set_in_reif(28, team[5], BOOL____00419);
|
|
constraint set_in_reif(29, team[1], BOOL____00069);
|
|
constraint set_in_reif(29, team[2], BOOL____00157);
|
|
constraint set_in_reif(29, team[3], BOOL____00245);
|
|
constraint set_in_reif(29, team[4], BOOL____00333);
|
|
constraint set_in_reif(29, team[5], BOOL____00421);
|
|
constraint set_intersect(team[1], team[2], SET____00001) :: defines_var(SET____00001);
|
|
constraint set_intersect(team[1], team[3], SET____00002) :: defines_var(SET____00002);
|
|
constraint set_intersect(team[1], team[4], SET____00003) :: defines_var(SET____00003);
|
|
constraint set_intersect(team[1], team[5], SET____00004) :: defines_var(SET____00004);
|
|
constraint set_intersect(team[2], team[3], SET____00005) :: defines_var(SET____00005);
|
|
constraint set_intersect(team[2], team[4], SET____00006) :: defines_var(SET____00006);
|
|
constraint set_intersect(team[2], team[5], SET____00007) :: defines_var(SET____00007);
|
|
constraint set_intersect(team[3], team[4], SET____00008) :: defines_var(SET____00008);
|
|
constraint set_intersect(team[3], team[5], SET____00009) :: defines_var(SET____00009);
|
|
constraint set_intersect(team[4], team[5], SET____00010) :: defines_var(SET____00010);
|
|
solve :: seq_search([int_search(which_team, first_fail, indomain_min, complete)]) minimize INT____00496;
|