Advent of Code 2023 Day 24

Learned some sympy to solve this particular AoC problem. See the Jupyter notebook in HTML or raw form or in the Jupyter Notebook Viewer.