![[ICO]](/icons/blank.png){kind=icon}
![[PARENTDIR]](/icons/back.png){kind=icon}
![[ ]](/icons/unknown.png){kind=icon}
![[TXT]](/icons/text.png){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BIBD-25_05_01.dzn | 2023-05-27 19:53 | 76 | |
| BIBD-AED.dzn | 2023-05-27 19:53 | 81 | |
| BIBD-int-count.mzn | 2023-05-27 19:50 | 1.0K | |
| BIBD-int-count2.mzn | 2023-05-27 19:50 | 1.0K | |
| BIBD-int-sum.mzn | 2023-05-27 19:50 | 1.0K | |
| BIBD-set.mzn | 2023-05-27 19:50 | 749 | |
| ECAS-03.dzn | 2023-06-05 16:34 | 6.9K | |
| ECAS.mzn | 2023-06-05 16:34 | 4.8K | |
| HammingCode.dzn | 2023-05-27 19:53 | 99 | |
| HammingCode.mzn | 2023-06-21 15:05 | 487 | |
| SGP-8_4_w.dzn | 2023-06-05 16:34 | 87 | |
| SGP-int.mzn | 2023-06-05 16:34 | 1.9K | |
| SGP-set.mzn | 2023-06-05 16:34 | 930 | |
| SSP1.mzn | 2023-06-05 16:35 | 1.8K | |
| SSP2.mzn | 2023-06-05 16:35 | 2.9K | |
| WLP-OPLbook.dzn | 2023-05-27 19:53 | 557 | |
| WLP-cap44.dzn | 2023-05-27 19:53 | 5.1K | |
| WLP1.mzn | 2023-05-27 19:50 | 1.8K | |
| WLP2.mzn | 2023-05-27 19:50 | 1.6K | |
| WLP3.mzn | 2023-05-27 19:50 | 1.7K | |
| blackHole-09.dzn | 2023-05-27 19:53 | 594 | |
| blackHole.mzn | 2023-05-27 19:50 | 1.8K | |
| doctor.dzn | 2023-05-27 19:53 | 54 | |
| doctor.mzn | 2023-05-27 19:50 | 1.0K | |
| magicSeries.mzn | 2023-05-27 19:50 | 861 | |
| magicSquare.mzn | 2023-06-05 16:36 | 1.1K | |
| n-queens.mzn | 2023-05-27 19:50 | 577 | |
| nonogram.dzn | 2023-05-27 19:53 | 130 | |
| nonogram.mzn | 2023-05-27 19:50 | 873 | |
| photo-weighted.dzn | 2023-05-27 19:53 | 1.0K | |
| photo.dzn | 2023-05-27 19:53 | 939 | |
| photo.mzn | 2023-05-27 19:50 | 712 | |
| regular-table-exampl..> | 2023-05-27 19:50 | 822 | |
| sudoku.mzn | 2023-05-27 19:50 | 811 | |