Akari
Light up every white cell. A bulb shines along its row and column until a wall stops it. No bulb may light another; a number is exactly how many bulbs touch that wall. Click a cell: bulb → mark → clear.
The solver is two layers. First a sound propagation pass applies three strict rules to a fixpoint: a numbered wall whose bulbs already equal its number empties its other neighbours (and if its remaining slots are exactly what's still needed, they're all bulbs); a bulb empties every cell it can see (two bulbs in one beam is a contradiction); and a still-dark cell whose last possible light source is a single cell forces a bulb there. Each is an implication, never a guess — that's exactly what Hint replays. When logic stalls, a backtracking search takes the darkest cell with the fewest candidates, tries a bulb, lets propagation prune, and proves the answer is unique. Every bundled board's clues are derived by the solver from its own wall layout, then thinned while the solution stays the one and only.