Poker is a game of leveraging information and setting prices.

Every real poker decision comes back to the same question: what does my opponent likely have, what are they likely to do with it, and what price can I set to make that mistake cost them the most?

A poker solver, by contrast, is not trying to answer poker that way. A solver is not asking, “What does this specific player misunderstand?” It is not asking, “What size gets this guy to overfold?” It is not asking, “How do I punish this pool tendency?”

A solver is solving a different problem.

A Poker Solver Is a Theory Engine

A poker solver is any software that takes a defined poker situation and computes an approximate Nash equilibrium strategy for both players.

That is the technical definition.

In plain English, a solver takes a simplified version of poker — with fixed ranges, fixed bet sizes, fixed stack depths, and a fixed decision tree — and then works toward a strategy profile where neither player can gain an edge over the other. The measure of how close a strategy is to this ideal is called “exploitability.”

That is what people mean when they talk about “GTO.”

And that is also why a solver is often misunderstood.

Many players hear “optimal” and assume a solver is telling them how to play poker in the real world. That is not what it is doing. It is telling you how to play the toy universe you gave it.

How Solvers Actually Work: Counterfactual Regret Minimization

The algorithm behind most modern poker solvers is called Counterfactual Regret Minimization (CFR). At a high level, CFR works like this:

You start with a strategy pair. The solver evaluates the expected value of actions across the decision tree you gave it. It compares the EV of each action to the EV of the current mixed strategy at each decision point. Actions that outperform the current mix accumulate positive regret. Actions that underperform it accumulate negative or zero regret. Then the solver updates future action frequencies so that more weight goes to actions with positive regret.

Repeat that process enough times, and the average strategy approaches equilibrium.

That is the core loop.

That matters because it tells you what a solver really is. It is not intuition. It is not instinct. It is not a black-box poker soul. It is a regret-minimization engine solving the mathematical model you handed it.

The result is not a single “correct” action. It is a mixed strategy — a set of frequencies. The solver might say “bet 67% pot with this hand 40% of the time, check 60% of the time.” That mix is what makes the strategy unexploitable.

What a Solver Needs From You

A solver does not play poker. You play poker. The solver needs you to define the problem before it can solve anything:

  • Preflop ranges — what hands each player can have
  • Bet sizes — what sizing options are available (1/3 pot, 2/3 pot, pot, all-in, etc.)
  • Stack depth — how deep the stacks are relative to the pot
  • Board — the community cards

Change any of these inputs and the output changes. A solver’s answer to “should I bet?” is always conditional on the universe you defined. If your opponent’s actual range differs from what you told the solver, the output is wrong — not wrong in theory, wrong in practice.

Why GTO Study Still Matters

If solvers give answers for simplified toy games and not real poker, why study them?

Because GTO provides a baseline. It tells you what balanced play looks like, so you can recognize when your opponents deviate from it — and punish those deviations.

A player who never studies theory does not know what “normal” looks like. They cannot identify that a villain is folding too much to river bets, because they have no reference point for how much folding is correct.

Solver study gives you that reference point. It is the map. Exploitative play is navigating the actual terrain.

Where Solvers Fall Short

Solvers assume both players are trying to play optimally. Real opponents are not.

  • A solver says to bluff a river 30% of the time because that makes the opponent indifferent. But if your opponent folds to river bets 70% of the time, you should bluff far more often.
  • A solver says to call with middle pair because the pot odds justify it. But if the villain never bluffs the river, folding is clearly correct.
  • A solver balances between thin value bets and bluffs. But against a calling station who never folds, you should drop every bluff and value bet relentlessly.

The solver is not wrong in these cases. It is solving for a different opponent — one who plays back optimally. Your opponent does not.

Solvers and Real-World Practice

The best use of a solver is not to memorize its output. It is to use solver study to build intuition about hand strength, board texture, and bet sizing — and then to deviate from that baseline when your opponent gives you a reason to.

This is the core idea behind exploitative poker strategy: understand the theory well enough to know when and how to break it.

If you want to practice against opponents who actually make these mistakes, that is what Poker Shark is built for. Our machine-learning opponents are trained on millions of real poker hands, each with distinct tendencies you can learn to exploit. You can use our free Spot Calculator to analyze any decision point with real equity calculations, or test your bankroll readiness with the Bankroll Risk Analyzer.

Key Takeaways

  • A poker solver computes approximate Nash equilibrium strategies using CFR
  • Solver output is conditional on the ranges, sizes, and tree you define — change the inputs, change the answer
  • GTO is a baseline, not a playbook — it tells you what balanced looks like so you can spot when opponents deviate
  • Real profit comes from exploiting those deviations, not from memorizing solver frequencies
  • Study theory to build intuition, then apply it against real opponents who make real mistakes