( mitch0 | 2025. 12. 13., szo – 10:14 )

1-2 óra és 1-2 nap között a feladat nehézség / ihlet / rendelkezésre álló szabadidő függvényében :) Az idei 10-est első körben z3-mal csináltam meg, még most is reszelem a "rendes" megoldást...

A legtöbbet c++-ban írtam, de volt kotlin és lua is.

A megoldásaim fent vannak github-on: mitchnull/advent-of-code