summaryrefslogtreecommitdiff
path: root/2019/19.in
diff options
context:
space:
mode:
authortomsmeding <tom.smeding@gmail.com>2018-12-23 23:44:22 +0100
committertomsmeding <tom.smeding@gmail.com>2018-12-23 23:44:22 +0100
commit5e48424b6456b49d3a37fd75040ccf7ea5f9b31c (patch)
tree94859d0d7f20dab52c4c7fc1cd20c22f3a81a0fd /2019/19.in
parent25a0973c66ad916029a277e57c506cf39cfde096 (diff)
Day 23
This isn't fun anymore. Because I was tired of this one and didn't care anymore, I looked at what others did and was baffled to see that there were basically two groups of people: one that used Z3 or an ILP solver, and one that wrote a direct solution that only worked on their own input, by accident. So I also used Z3. It worked. It takes a minute, though.
Diffstat (limited to '2019/19.in')
0 files changed, 0 insertions, 0 deletions