Solving the Einstein Riddle
The "Einstein Riddle" is a logic puzzle apocryphally attributed to Albert Einstein and is often stated with the remark that it is only solvable by 2% of the world's population. We can solve this puzzle using Maple's built-in efficient SAT solver.