Solvers, in a poker context, are a category of programs. They run a simulation after you enter the known information.

Like piosolver, as an example.

The best poker-playing AI is not beatable by anyone, so yes, it would crush the LLMs.