A Texas Hold'em simulator for computing probabilities