Day 25a

.github/workflows/ci.yml

@@ -8,8 +8,9 @@ jobs:
       - uses: actions/checkout@v4.1.1
       - uses: docker://lpenz/omnilint:0.5.1
   rust:
-    uses: lpenz/ghworkflow-rust/.github/workflows/rust.yml@v0.19.0
+    uses: lpenz/ghworkflow-rust/.github/workflows/rust.yml@devel
     with:
+      dependencies_debian: [ 'libz3-dev' ]
       coveralls: true
       publish_cratesio: false
       publish_github_release: false
@@ -41,6 +42,7 @@ jobs:
             - day22
             - day23
             - day24
+            - day25
             # end
     if: github.ref == 'refs/heads/main'
     needs: [ omnilint, rust ]

Cargo.toml

@@ -27,5 +27,6 @@ members = [
     "day22",
     "day23",
     "day24",
+    "day25",
 ]
 

README.md

@@ -1,4 +1,4 @@
-![AoC](https://img.shields.io/badge/AoC%20%E2%AD%90-48-yellow)
+![AoC](https://img.shields.io/badge/AoC%20%E2%AD%90-50-yellow)
 [![CI](https://github.com/lpenz/adventofcode2023/workflows/CI/badge.svg)](https://github.com/lpenz/adventofcode2023/actions)
 [![coveralls](https://coveralls.io/repos/github/lpenz/adventofcode2023/badge.svg?branch=main)](https://coveralls.io/github/lpenz/adventofcode2023?branch=main)
 
@@ -16,10 +16,13 @@ Some interesting things that happened on specific days:
 - 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.
 
 
 <table><tr>
 <td><a href="https://github.com/lpenz/adventofcode2022">:arrow_left: 2022</td>
 </tr></table>
 
 [z3]: https://docs.rs/z3/latest/z3/
+[Stoer-Wagner]: https://scholar.google.com/scholar?cluster=10111487970680388034

day25/Cargo.toml

@@ -0,0 +1,10 @@
+[package]
+name = "day25"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+aoc = { path = "../aoc" }
+color-eyre = "0.6.2"
+copstr = "0.1.2"
+nom = "7.1.3"