Code for the 2023 puzzles at https://adventofcode.com/2023/
Some interesting things that happened on specific days:
- Day 05b: used
Range{ ini, end }to represent sets of numbers (which was not necessary). - Day 20b: had to look at the graph to figure out the "counter result modules".
- Day 24b: used z3 in rust.
- Day 25a: graph min cut problem; did it with multiple Dijsktra, maybe try Stoer-Wagner in the future.
| ⬅️ 2022 |