| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Day 23 | tomsmeding | 2018-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. | ||
| * | Day 4 | Tom Smeding | 2018-12-04 |
| | | |||
| * | Start 2018! | tomsmeding | 2018-12-01 |
 |
index : AOC | |
| My solutions to Advent of Code | git daemon user |
| summaryrefslogtreecommitdiff |