Rendering logic puzzles