I just completed "Factory" - Day 10 - Advent of Code 2025 adventofcode.com/2025/day/10#AdventOfCode
After struggling with the immense state space, I also turned to Linear Programming for a solution, and it was fast!
I just completed "Movie Theater" - Day 9 - Advent of Code 2025 adventofcode.com/2025/day/9#AdventOfCode
Part 2 solved with a program left running during the night for 4 hours... I guess there is a better solution.