https://github.com/lpenz/adventofcode2023
Code for the 2022 puzzles at https://adventofcode.com/2023/
https://github.com/lpenz/adventofcode2023
Last synced: 2 months ago
JSON representation
Code for the 2022 puzzles at https://adventofcode.com/2023/
- Host: GitHub
- URL: https://github.com/lpenz/adventofcode2023
- Owner: lpenz
- License: mit
- Created: 2023-11-26T22:00:10.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2023-12-17T21:37:47.000Z (over 1 year ago)
- Last Synced: 2023-12-18T15:30:05.980Z (over 1 year ago)
- Language: Rust
- Size: 215 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README

[](https://github.com/lpenz/adventofcode2023/actions)
[](https://coveralls.io/github/lpenz/adventofcode2023?branch=main)# 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.:arrow_left: 2022
2024 :arrow_right:[z3]: https://docs.rs/z3/latest/z3/
[Stoer-Wagner]: https://scholar.google.com/scholar?cluster=10111487970680388034