Mastodawn

@blinry and I are still trying to solve last year's #adventOfCode. We're stuck on day 10, and we're out of ideas – except using linear optimization algorithms, but that feels like overkill... Has anyone of you solved day 10 and has a tip for us – do we really need to implement linear optimization?
https://en.wikipedia.org/wiki/Linear_programming#Integer_unknowns

Please use a spoiler for your answers ^^'

#AOC25 #advent_of_code #adventofcode2025 #adventofcode2025day10

Linear programming - Wikipedia

Show thread

DarkDust

@piko @blinry I first solved part 2 with a recursive algorithm. After some optimisations it found the solution in 16min (Rust). Then I learned about Z3, which a lot of people used, which actually was quite interesting. This solution solves part 2 in less than a second, of course.