dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / examples / latin_squares_fd.mzn
at develop 12 kB view raw
1/*** 2!Test 3expected: 4- !Result 5 solution: !Solution 6 x: 7 - - [0, 1, 0, 0, 0, 0, 0, 0, 0] 8 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 9 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 10 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 11 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 12 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 13 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 14 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 15 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 16 - - [0, 0, 0, 1, 0, 0, 0, 0, 0] 17 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 18 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 19 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 20 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 21 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 22 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 23 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 24 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 25 - - [0, 0, 0, 0, 0, 0, 1, 0, 0] 26 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 27 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 28 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 29 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 30 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 31 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 32 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 33 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 34 - - [0, 0, 0, 0, 0, 0, 0, 1, 0] 35 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 36 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 37 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 38 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 39 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 40 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 41 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 42 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 43 - - [0, 0, 1, 0, 0, 0, 0, 0, 0] 44 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 45 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 46 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 47 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 48 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 49 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 50 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 51 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 52 - - [0, 0, 0, 0, 0, 0, 0, 0, 1] 53 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 54 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 55 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 56 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 57 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 58 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 59 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 60 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 61 - - [1, 0, 0, 0, 0, 0, 0, 0, 0] 62 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 63 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 64 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 65 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 66 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 67 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 68 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 69 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 70 - - [0, 0, 0, 0, 0, 1, 0, 0, 0] 71 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 72 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 73 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 74 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 75 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 76 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 77 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 78 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 79 - - [0, 0, 0, 0, 1, 0, 0, 0, 0] 80 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 81 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 82 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 83 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 84 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 85 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 86 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 87 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 88- !Result 89 solution: !Solution 90 x: 91 - - [0, 0, 0, 0, 0, 0, 0, 1, 0] 92 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 93 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 94 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 95 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 96 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 97 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 98 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 99 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 100 - - [0, 0, 1, 0, 0, 0, 0, 0, 0] 101 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 102 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 103 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 104 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 105 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 106 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 107 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 108 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 109 - - [1, 0, 0, 0, 0, 0, 0, 0, 0] 110 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 111 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 112 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 113 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 114 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 115 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 116 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 117 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 118 - - [0, 1, 0, 0, 0, 0, 0, 0, 0] 119 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 120 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 121 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 122 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 123 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 124 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 125 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 126 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 127 - - [0, 0, 0, 1, 0, 0, 0, 0, 0] 128 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 129 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 130 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 131 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 132 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 133 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 134 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 135 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 136 - - [0, 0, 0, 0, 1, 0, 0, 0, 0] 137 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 138 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 139 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 140 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 141 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 142 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 143 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 144 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 145 - - [0, 0, 0, 0, 0, 1, 0, 0, 0] 146 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 147 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 148 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 149 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 150 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 151 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 152 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 153 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 154 - - [0, 0, 0, 0, 0, 0, 1, 0, 0] 155 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 156 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 157 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 158 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 159 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 160 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 161 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 162 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 163 - - [0, 0, 0, 0, 0, 0, 0, 0, 1] 164 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 165 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 166 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 167 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 168 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 169 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 170 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 171 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 172- !Result 173 solution: !Solution 174 x: 175 - - [0, 0, 0, 0, 0, 0, 0, 1, 0] 176 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 177 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 178 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 179 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 180 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 181 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 182 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 183 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 184 - - [0, 0, 0, 1, 0, 0, 0, 0, 0] 185 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 186 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 187 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 188 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 189 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 190 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 191 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 192 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 193 - - [0, 0, 0, 0, 0, 0, 0, 0, 1] 194 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 195 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 196 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 197 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 198 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 199 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 200 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 201 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 202 - - [1, 0, 0, 0, 0, 0, 0, 0, 0] 203 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 204 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 205 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 206 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 207 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 208 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 209 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 210 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 211 - - [0, 0, 0, 0, 0, 1, 0, 0, 0] 212 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 213 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 214 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 215 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 216 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 217 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 218 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 219 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 220 - - [0, 0, 0, 0, 0, 0, 1, 0, 0] 221 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 222 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 223 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 224 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 225 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 226 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 227 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 228 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 229 - - [0, 0, 1, 0, 0, 0, 0, 0, 0] 230 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 231 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 232 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 233 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 234 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 235 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 236 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 237 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 238 - - [0, 0, 0, 0, 1, 0, 0, 0, 0] 239 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 240 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 241 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 242 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 243 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 244 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 245 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 246 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 247 - - [0, 1, 0, 0, 0, 0, 0, 0, 0] 248 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 249 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 250 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 251 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 252 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 253 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 254 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 255 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 256- !Result 257 solution: !Solution 258 x: 259 - - [0, 1, 0, 0, 0, 0, 0, 0, 0] 260 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 261 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 262 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 263 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 264 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 265 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 266 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 267 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 268 - - [0, 0, 0, 0, 0, 0, 1, 0, 0] 269 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 270 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 271 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 272 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 273 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 274 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 275 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 276 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 277 - - [0, 0, 0, 0, 0, 0, 0, 0, 1] 278 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 279 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 280 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 281 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 282 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 283 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 284 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 285 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 286 - - [0, 0, 0, 0, 0, 0, 0, 1, 0] 287 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 288 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 289 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 290 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 291 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 292 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 293 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 294 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 295 - - [0, 0, 0, 0, 0, 1, 0, 0, 0] 296 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 297 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 298 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 299 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 300 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 301 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 302 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 303 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 304 - - [0, 0, 0, 0, 1, 0, 0, 0, 0] 305 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 306 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 307 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 308 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 309 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 310 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 311 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 312 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 313 - - [0, 0, 0, 1, 0, 0, 0, 0, 0] 314 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 315 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 316 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 317 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 318 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 319 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 320 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 321 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 322 - - [0, 0, 1, 0, 0, 0, 0, 0, 0] 323 - [1, 0, 0, 0, 0, 0, 0, 0, 0] 324 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 325 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 326 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 327 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 328 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 329 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 330 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 331 - - [1, 0, 0, 0, 0, 0, 0, 0, 0] 332 - [0, 1, 0, 0, 0, 0, 0, 0, 0] 333 - [0, 0, 1, 0, 0, 0, 0, 0, 0] 334 - [0, 0, 0, 1, 0, 0, 0, 0, 0] 335 - [0, 0, 0, 0, 1, 0, 0, 0, 0] 336 - [0, 0, 0, 0, 0, 1, 0, 0, 0] 337 - [0, 0, 0, 0, 0, 0, 1, 0, 0] 338 - [0, 0, 0, 0, 0, 0, 0, 1, 0] 339 - [0, 0, 0, 0, 0, 0, 0, 0, 1] 340***/ 341 342% latin_squares_fd.mzn 343% vim: ft=zinc ts=4 sw=4 et tw=0 344% Author: Peter Stuckey 345% Edited: Ralph Becket 346% 347% Latin squares FD only. 348 349int: size = 9; 350 351set of int: range = 1..size; 352 353array[range, range, range] of var 0..1: x; 354 355constraint forall (i, j in range) ((sum (k in range) (x[i,j,k]) = 1)); 356constraint forall (i, k in range) ((sum (j in range) (x[i,j,k]) = 1)); 357constraint forall (j, k in range) ((sum (i in range) (x[i,j,k]) = 1)); 358 359solve satisfy; 360 361output [ if j = 1 /\ k = 1 then "\n" else "" endif ++ 362 if fix(x[i,j,k]) = 1 then show(k) else "" endif 363 | i, j, k in range ] ++ ["\n"];