adventofcode2023

Code for the 2023 puzzles at https://adventofcode.com/2023/

Noteworthy days (spoiler alert!)

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.