2020 advent of code solutions - day 13

day 13 was quite a step up in difficulty for those that didn't know the math trick like me -- I show a cool way to solve this without knowing how to solve it (using z3) and then show an easier to understand solution as well as the mathy one

==========

I won't ask for subscriptions / likes / comments in videos but it really helps the channel. If you have any suggestions or things you'd like to see please comment below!