Bo Haglund's Double Dummy Solver