I spend some days writing a program which construct an expression tree (actually a DAG) from the instruction and then through applying logic derives the equatio

I spend some days writing a program which construct an expression tree (actually a DAG) from the instruction and then through applying logic derives the equations between the input values for when the final result must be zero. But this was after analyzing the puzzle itself and understanding how the puzzle worked. In a sense it automated the analyzes I performed myself on my own input. The program works for all possible puzzles and very quickly finds a solution. For the details see: https://github.com/FransFaase/AdventOfCode2021#tuesday-december-28-2021 https://github.com/FransFaase/AdventOfCode2021#tuesday-decem...