Writing Code for Synthesis. Electronic Dice Game Solution