summaryrefslogtreecommitdiff
path: root/2018/src/day23.rs
Commit message (Collapse)AuthorAge
* Day 23tomsmeding2018-12-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.