| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 03-May-2022 | - | ||||
| _others/ | H | 03-May-2022 | - | |||
| _static/ | H | 19-Mar-2021 | - | 67 | 67 | |
| _templates/ | H | 03-May-2022 | - | |||
| examples/ | H | 19-Mar-2021 | - | 2,634 | 2,274 | |
| figures/ | H | 03-May-2022 | - | 11,386 | 11,360 | |
| Makefile | H A D | 19-Mar-2021 | 7.4 KiB | 226 | 190 | |
| conf.py | H A D | 19-Mar-2021 | 12.9 KiB | 472 | 84 | |
| efficient.rst | H A D | 19-Mar-2021 | 23.9 KiB | 469 | 270 | |
| flattening.rst | H A D | 19-Mar-2021 | 34.7 KiB | 791 | 523 | |
| grammar.mzn | H A D | 19-Mar-2021 | 6.4 KiB | 232 | 164 | |
| index.rst | H A D | 19-Mar-2021 | 547 | 28 | 20 | |
| installation.rst | H A D | 19-Mar-2021 | 8.1 KiB | 151 | 89 | |
| intro.rst | H A D | 19-Mar-2021 | 4.9 KiB | 59 | 32 | |
| modelling.rst | H A D | 19-Mar-2021 | 28.1 KiB | 673 | 447 | |
| modelling2.rst | H A D | 19-Mar-2021 | 47.6 KiB | 1,015 | 628 | |
| mzn_search.rst | H A D | 19-Mar-2021 | 14.2 KiB | 267 | 172 | |
| optiontypes.rst | H A D | 19-Mar-2021 | 5.2 KiB | 113 | 65 | |
| output.mzn | H A D | 19-Mar-2021 | 409 | 19 | 13 | |
| part_1_introduction.rst | H A D | 19-Mar-2021 | 91 | 10 | 6 | |
| part_2_tutorial.rst | H A D | 19-Mar-2021 | 187 | 16 | 12 | |
| part_3_reference.rst | H A D | 19-Mar-2021 | 148 | 10 | 6 | |
| predicates.rst | H A D | 19-Mar-2021 | 32.6 KiB | 708 | 438 | |
| sat.rst | H A D | 19-Mar-2021 | 8.8 KiB | 171 | 112 | |
| spec.rst | H A D | 19-Mar-2021 | 113.5 KiB | 3,009 | 1,737 |