I can only tell you my perspective as an ex poker pro who has not studied with solvers. But the basic idea is that you put in a range of starting hands for you

I can only tell you my perspective as an ex poker pro who has not studied with solvers. But the basic idea is that you put in a range of starting hands for yourself and the opponent, and possible bet sizes, and the solver will brute force a play that approximates Nash equilibrium. The output of the solver will be something like “45% of the time bet. 55% check.” Or “95% fold. 5% raise X” The general loop as I understand it is inputting tricky/common situations running the solver and basically memorizing it.