A solver for the dice game Zehntausend - View it on GitHub