My solutions to Advent of Code https://git.tomsmeding.com/AOC/atom?h=master 2018-12-23T22:44:22Z 2018-12-23T22:44:22Z tomsmeding tom.smeding@gmail.com 2018-12-23T22:44:22Z urn:sha1:5e48424b6456b49d3a37fd75040ccf7ea5f9b31c 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.