2023 Day 24

A pure Golang solution (task2.go) with an in-built linear equation solver.

Original solution (task2.py) was done with python since Golang doesn't support Z3 directly. Install dependencies and use as follow:

pip install z3-solver importlib_resources
python3 task2.py < input.txt