A new version fo Dice of Doom using the lazy library and a/b pruning