I don't think you have to worry about that. Most people just use pseudorandom generators to deal the cards. Of course, if you want to code an autosolver, as well, then you could simply validate games as winnable before presenting them to the user. I want to developp this game. I know the rules of the gme, but I don't know how create the columns so that game have a solution.
Most people just use pseudorandom generators to deal the cards.