Merge pull request #24 from gchazot/2023-to-the-end

2023 to the end
gchazot · Dec 15, 2024 · 1926b57 · 1926b57
2 parents d7e91e3 + e4e075b
commit 1926b57
Show file tree

Hide file tree

Showing 88 changed files with 6,579 additions and 4,626 deletions.
diff --git a/.github/workflows/run_tests.yml b/.github/workflows/run_tests.yml
@@ -54,11 +54,22 @@ jobs:
         if: ${{ matrix.language == 'python'}}
         run: python -m unittest discover -t . -s ${{ matrix.folder }} -p "*.py"
 
+      - name: Setup Z3
+        if: ${{ matrix.folder == 'year_2023' }}
+        id: z3
+        uses: cda-tum/setup-z3@v1
+        with:
+          add_to_library_path: true
+          version: 4.11.2
+
       - name: Setup Rust
         if: ${{ matrix.language == 'rust' }}
-        uses: moonrepo/setup-rust@v1
+        uses: dtolnay/rust-toolchain@stable
         with:
-          channel: ${{ matrix.version }}
+          toolchain: ${{ matrix.version }}
+      - name: Setup Cache
+        if: ${{ matrix.language == 'rust' }}
+        uses: Swatinem/rust-cache@v2
       - name: Build
         if: ${{ matrix.language == 'rust' }}
         working-directory: ${{ matrix.folder }}

diff --git a/year_2023/Cargo.lock b/year_2023/Cargo.lock
diff --git a/year_2023/Cargo.toml b/year_2023/Cargo.toml
@@ -7,3 +7,4 @@ edition = "2021"
 
 [dependencies]
 aoc_utils = { path = "../aoc_utils" }
+z3 = "0.12.1"
diff --git a/year_2023/src/day1/example1.txt → year_2023/input/day1-example1.txt b/year_2023/src/day1/example1.txt → year_2023/input/day1-example1.txt
diff --git a/year_2023/src/day1/example2.txt → year_2023/input/day1-example2.txt b/year_2023/src/day1/example2.txt → year_2023/input/day1-example2.txt
diff --git a/year_2023/src/day1/mine.txt → year_2023/input/day1.txt b/year_2023/src/day1/mine.txt → year_2023/input/day1.txt
diff --git a/year_2023/src/day10/example1.txt → year_2023/input/day10-example1.txt b/year_2023/src/day10/example1.txt → year_2023/input/day10-example1.txt
diff --git a/year_2023/src/day10/example2.txt → year_2023/input/day10-example2.txt b/year_2023/src/day10/example2.txt → year_2023/input/day10-example2.txt
diff --git a/year_2023/src/day10/example3.txt → year_2023/input/day10-example3.txt b/year_2023/src/day10/example3.txt → year_2023/input/day10-example3.txt
diff --git a/year_2023/src/day10/example4.txt → year_2023/input/day10-example4.txt b/year_2023/src/day10/example4.txt → year_2023/input/day10-example4.txt
diff --git a/year_2023/src/day10/example5.txt → year_2023/input/day10-example5.txt b/year_2023/src/day10/example5.txt → year_2023/input/day10-example5.txt
diff --git a/year_2023/src/day10/example6.txt → year_2023/input/day10-example6.txt b/year_2023/src/day10/example6.txt → year_2023/input/day10-example6.txt
diff --git a/year_2023/src/day10/example7.txt → year_2023/input/day10-example7.txt b/year_2023/src/day10/example7.txt → year_2023/input/day10-example7.txt
diff --git a/year_2023/src/day10/mine.txt → year_2023/input/day10.txt b/year_2023/src/day10/mine.txt → year_2023/input/day10.txt
diff --git a/year_2023/src/day11/test_input.txt → year_2023/input/day11-test_input.txt b/year_2023/src/day11/test_input.txt → year_2023/input/day11-test_input.txt
diff --git a/year_2023/src/day11/mine.txt → year_2023/input/day11.txt b/year_2023/src/day11/mine.txt → year_2023/input/day11.txt
diff --git a/year_2023/src/day12/example.txt → year_2023/input/day12-example.txt b/year_2023/src/day12/example.txt → year_2023/input/day12-example.txt
diff --git a/year_2023/src/day12/mine.txt → year_2023/input/day12.txt b/year_2023/src/day12/mine.txt → year_2023/input/day12.txt
diff --git a/year_2023/src/day13/mine.txt → year_2023/input/day13.txt b/year_2023/src/day13/mine.txt → year_2023/input/day13.txt
diff --git a/year_2023/src/day14/mine.txt → year_2023/input/day14.txt b/year_2023/src/day14/mine.txt → year_2023/input/day14.txt
diff --git a/year_2023/src/day15/mine.txt → year_2023/input/day15.txt b/year_2023/src/day15/mine.txt → year_2023/input/day15.txt
diff --git a/year_2023/src/day16/mine.txt → year_2023/input/day16.txt b/year_2023/src/day16/mine.txt → year_2023/input/day16.txt
diff --git a/year_2023/src/day17/mine.txt → year_2023/input/day17.txt b/year_2023/src/day17/mine.txt → year_2023/input/day17.txt
diff --git a/year_2023/src/day18/mine.txt → year_2023/input/day18.txt b/year_2023/src/day18/mine.txt → year_2023/input/day18.txt
diff --git a/year_2023/src/day19/mine.txt → year_2023/input/day19.txt b/year_2023/src/day19/mine.txt → year_2023/input/day19.txt
diff --git a/year_2023/src/day2/example.txt → year_2023/input/day2-example.txt b/year_2023/src/day2/example.txt → year_2023/input/day2-example.txt
diff --git a/year_2023/src/day2/mine.txt → year_2023/input/day2.txt b/year_2023/src/day2/mine.txt → year_2023/input/day2.txt
diff --git a/year_2023/src/day20/mine.txt → year_2023/input/day20.txt b/year_2023/src/day20/mine.txt → year_2023/input/day20.txt
diff --git a/year_2023/src/day21/mine.txt → year_2023/input/day21.txt b/year_2023/src/day21/mine.txt → year_2023/input/day21.txt
diff --git a/year_2023/src/day22/mine.txt → year_2023/input/day22.txt b/year_2023/src/day22/mine.txt → year_2023/input/day22.txt
diff --git a/year_2023/src/day23/mine.txt → year_2023/input/day23.txt b/year_2023/src/day23/mine.txt → year_2023/input/day23.txt
diff --git a/year_2023/src/day24/mine.txt → year_2023/input/day24.txt b/year_2023/src/day24/mine.txt → year_2023/input/day24.txt
diff --git a/year_2023/input/day25-example.txt b/year_2023/input/day25-example.txt
@@ -0,0 +1,13 @@
+jqt: rhn xhk nvd
+rsh: frs pzl lsr
+xhk: hfx
+cmg: qnr nvd lhk bvb
+rhn: xhk bvb hfx
+bvb: xhk hfx
+pzl: lsr hfx nvd
+qnr: nvd
+ntq: jqt hfx bvb xhk
+nvd: lhk
+lsr: lhk
+rzs: qnr cmg lsr rsh
+frs: qnr lhk lsr
Original file line number	Diff line number	Diff line change
Expand Up		@@ -7,3 +7,4 @@ edition = "2021"

		[dependencies]
		aoc_utils = { path = "../aoc_utils" }
		z3 = "0.12.1"