| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| coins_41_58.fzn | H A D | 16-Nov-2020 | 16 KiB | 207 | 206 | |
| coins_41_58.out | H A D | 16-Nov-2020 | 70 | 3 | 3 |
| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| coins_41_58.fzn | H A D | 16-Nov-2020 | 16 KiB | 207 | 206 | |
| coins_41_58.out | H A D | 16-Nov-2020 | 70 | 3 | 3 |