Day 24 in the books... z3 is wild

BakerNet · Dec 24, 2023 · 1f3041f · 1f3041f
1 parent 16490d2
commit 1f3041f
Show file tree

Hide file tree

Showing 5 changed files with 441 additions and 1 deletion.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -16,3 +16,4 @@ test_lib = []
 [dependencies]
 pico-args = "0.5.0"
 regex = "1.10.2"
+z3 = { version = "0.12.1", features = ["num"] }
diff --git a/README.md b/README.md
@@ -31,7 +31,7 @@ Solutions for [Advent of Code](https://adventofcode.com/) in [Rust](https://www.
 | [Day 21](https://adventofcode.com/2023/day/21) | [code](src/bin/21.rs) | ⭐ | ⭐ |
 | [Day 22](https://adventofcode.com/2023/day/22) | [code](src/bin/22.rs) | ⭐ | ⭐ |
 | [Day 23](https://adventofcode.com/2023/day/23) | [code](src/bin/23.rs) | ⭐ | ⭐ |
-| [Day 24](https://adventofcode.com/2023/day/24) | [code](src/bin/24.rs) |  |  |
+| [Day 24](https://adventofcode.com/2023/day/24) | [code](src/bin/24.rs) | ⭐ | ⭐ |
 | [Day 25](https://adventofcode.com/2023/day/25) | [code](src/bin/25.rs) |  |  |
 
 ---

diff --git a/data/examples/24.txt b/data/examples/24.txt
@@ -0,0 +1,5 @@
+19, 13, 30 @ -2,  1, -2
+18, 19, 22 @ -1, -1, -2
+20, 25, 34 @ -2, -2, -4
+12, 31, 28 @ -1, -2, -1
+20, 19, 15 @  1, -5, -3