Here is how Jack (the bridge software program) bids to 6♠
South leads 4♥
Play: If the trumps were 2/2, there is nothing to the play. Win A♥, draw trumps, eliminate diamonds and play a heart.
But, trumps are 3/1
Jack draws trumps and partially eliminates diamonds before playing the 2♥ in the second diagram, when it claims the remaining six tricks!
If I reject the claim, win the J♥ and play Q♦, forcing it to ruff, it plays K♣ > A♣, dropping the queen for 12 tricks.
It is not playing double dummy - otherwise, it could claim at trick one. So, what am I missing here? How does the program know the club layout?
D.