The solver tries to learn as much as possible from every guess to maximize Shannon entropy. For each step, it looks at all the words that are still possible and picks the guess that best splits them into groups based on the colors (green, yellow, gray). This cuts down the list of choices very quickly so the answer can usually be found in just a few moves.