[1] There are fully-functional solitaire solvers, though, and have been for literal decades.
According to Persi Diaconis' 2024 presentation (linked in the original article), the best computer solver can only win 34.2% of games, taking 2080 seconds per game -- a far cry from the complete 82% solution of winnable games.
That's pretty much it.