Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Dockerfile | 83 | logplain |
-rw-r--r-- | Makefile | 209 | logplain |
-rwxr-xr-x | entrypoint | 185 | logplain |
-rw-r--r-- | input | 14 | logplain |
-rw-r--r-- | input.dzn | 24 | logplain |
-rwxr-xr-x | part1 | 98 | logplain |
-rw-r--r-- | part1.mzn | 390 | logplain |
-rwxr-xr-x | part2 | 98 | logplain |
-rw-r--r-- | part2.mzn | 514 | logplain |