Yeah, I dived into the reddit thread and learned t...

# advent-of-code

[todd.ginsberg]

Yeah, I dived into the reddit thread and learned that a) Nobody really has a correct solution b) I don't really get the math c) I don't understand enough about solvers and math to figure out Z3