на сайте с March 26, 2023 22:35
My solutions for the 2022 edition of Advent of Code in Rust. Simply run cargo run --release --bin dayXX to solve. Some days require z3, install it to the system libraries, or on Windows download binaries from https://github.com/Z3Prover/z3/releases and unzip to a folder named z3 in the crate root.