Advent Of Code 2024 Day 21 Answers. Just like with day 21, i use the matrix divide primitive (⌹) that gets the solutions for the system of equations. This repository has my answers for the advent of code 2024 challenges.

First i solved task part 1 with recursion and then i adapted it to z3, after task. The only difference to the normal dijkstra is that here you have to use the maps for.