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.

0 files changed, 0 insertions, 0 deletions