AOC/2018/input, branch masterMy solutions to Advent of Code
https://git.tomsmeding.com/AOC/atom?h=master2018-12-25T08:45:18ZChristmas! 🎄2018-12-25T08:45:18Ztomsmedingtom.smeding@gmail.com2018-12-25T08:45:18Zurn:sha1:89d19c68bdd29e06fad53d61f13df1124b98ea6aDay 242018-12-24T17:02:57Ztomsmedingtom.smeding@gmail.com2018-12-24T17:02:57Zurn:sha1:885b0ea5b8f96bb2ed4424f387b244ef2d67a61eDay 232018-12-23T22:44:22Ztomsmedingtom.smeding@gmail.com2018-12-23T22:44:22Zurn: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.
Day 222018-12-22T10:43:22Ztomsmedingtom.smeding@gmail.com2018-12-22T10:43:22Zurn:sha1:25a0973c66ad916029a277e57c506cf39cfde096Day 212018-12-22T00:00:42Ztomsmedingtom.smeding@gmail.com2018-12-22T00:00:42Zurn:sha1:25844ee408f73893175a8dc999391df0a3ed377aDay 202018-12-20T09:17:17ZTom Smedingtom.smeding@gmail.com2018-12-20T09:17:17Zurn:sha1:a091837040819f25df4f99176820e6ede0687780Day 19 part 1, part 2 WIP2018-12-19T22:49:30ZTom Smedingtom.smeding@gmail.com2018-12-19T22:49:30Zurn:sha1:98fd03b8e235ac957112d7d661fc8de38cfaaea0Day 182018-12-18T13:36:11ZTom Smedingtom.smeding@gmail.com2018-12-18T13:36:11Zurn:sha1:57a5348f7f101b00ccca5c5db2f843465430c5baDay 172018-12-17T12:56:47Ztomsmedingtom.smeding@gmail.com2018-12-17T12:38:27Zurn:sha1:0d3f096f6e9c01203031f5a2a0ce066bdb61b3be
This was a really fun one! Enjoyed making the simulation that is really
a complicated kind of automaton, and enjoyed looking at the automaton
doing its thing in the terminal.
Day 162018-12-16T11:15:48Ztomsmedingtom.smeding@gmail.com2018-12-16T11:15:48Zurn:sha1:0195c76570a61331c72480c0053dadc2f68b08d9