Python constraint solver w/letter dice and Soma puzzles.