My solutions to Advent of Code https://git.tomsmeding.com/AOC/atom?h=master 2018-12-25T08:45:18Z 2018-12-25T08:45:18Z tomsmeding tom.smeding@gmail.com 2018-12-25T08:45:18Z urn:sha1:89d19c68bdd29e06fad53d61f13df1124b98ea6a 2018-12-25T08:45:08Z tomsmeding tom.smeding@gmail.com 2018-12-25T08:45:08Z urn:sha1:ef0344356e8305c49da75293a5ac738b9a263de1 2018-12-24T17:02:57Z tomsmeding tom.smeding@gmail.com 2018-12-24T17:02:57Z urn:sha1:885b0ea5b8f96bb2ed4424f387b244ef2d67a61e 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. 2018-12-22T10:43:22Z tomsmeding tom.smeding@gmail.com 2018-12-22T10:43:22Z urn:sha1:25a0973c66ad916029a277e57c506cf39cfde096 2018-12-22T00:00:42Z tomsmeding tom.smeding@gmail.com 2018-12-22T00:00:42Z urn:sha1:25844ee408f73893175a8dc999391df0a3ed377a 2018-12-21T22:51:41Z tomsmeding tom.smeding@gmail.com 2018-12-21T22:49:19Z urn:sha1:dc9ba8162ff0a17fbafd6d589e53cdce1eada1b0 2018-12-21T22:08:50Z tomsmeding tom.smeding@gmail.com 2018-12-21T22:08:50Z urn:sha1:7293b9eec77079a35d1e2ef3442fbce95a28c307 2018-12-21T19:22:02Z tomsmeding tom.smeding@gmail.com 2018-12-21T19:22:02Z urn:sha1:7dc5aa8bca7699c406c3dacd9e24c26cf74ca510 2018-12-20T09:17:17Z Tom Smeding tom.smeding@gmail.com 2018-12-20T09:17:17Z urn:sha1:a091837040819f25df4f99176820e6ede0687780