diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2018-12-23 23:44:22 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2018-12-23 23:44:22 +0100 |
| commit | 5e48424b6456b49d3a37fd75040ccf7ea5f9b31c (patch) | |
| tree | 94859d0d7f20dab52c4c7fc1cd20c22f3a81a0fd /2018/src/day4.rs | |
| parent | 25a0973c66ad916029a277e57c506cf39cfde096 (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 '2018/src/day4.rs')
0 files changed, 0 insertions, 0 deletions