aboutsummaryrefslogtreecommitdiff
path: root/day04
ModeNameSize
-rw-r--r--Dockerfile83logplain
-rw-r--r--Makefile209logplain
-rwxr-xr-xentrypoint185logplain
-rw-r--r--input14logplain
-rw-r--r--input.dzn24logplain
-rwxr-xr-xpart198logplain
-rw-r--r--part1.mzn390logplain
-rwxr-xr-xpart298logplain
-rw-r--r--part2.mzn514logplain