Add note on Z3

fwcd · fwcd · commit a2221858ef3e · 2024-12-19T01:48:49.000+01:00
diff --git a/README.md b/README.md
@@ -22,7 +22,7 @@ My solutions to the [Advent of Code 2024](https://adventofcode.com/2024), writte
 - [x] [**Day 14**](day14): [Haskell](day14/src/Day14.hs)
 - [x] [**Day 15**](day15): [C++](day15/src/day15.cpp)
 - [x] [**Day 16**](day16): [Kotlin](day16/src/day16.kts)
-- [x] [**Day 17**](day17): [C#](day17/src/day17.cs)
+- [x] [**Day 17**](day17): [C#](day17/src/day17.cs) (using Z3 to solve part 2)
 
 ## Development
 
diff --git a/paths.json b/paths.json
@@ -133,6 +133,7 @@
       "name": "C#"
     },
     "path": "day17/src/day17.cs",
-    "completed": true
+    "completed": true,
+    "additionalNotes": "(using Z3 to solve part 2)"
   }
 ]

Original file line number	Diff line number	Diff line change
`@@ -133,6 +133,7 @@`
`133`	`133`	`"name": "C#"`
`134`	`134`	`},`
`135`	`135`	`"path": "day17/src/day17.cs",`
`136`		`- "completed": true`
	`136`	`+ "completed": true,`
	`137`	`+ "additionalNotes": "(using Z3 to solve part 2)"`
`137`	`138`	`}`
`138`	`139`	`]`