Logic puzzles on square and hexagonal grids, with a new game joining the collection regularly. Most are generated by mystify, an active research project: every level it ships is proven to have exactly one solution. And every hint comes from Demystify, an open-source solver running in your browser the whole time you play — if you're stuck, it works out the next deduction on the spot and shows you why.
Every level here was generated — and proven to have exactly one solution — by mystify, an active research project in constraint-based puzzle generation.
The two originals, with hand-built levels — made before mystify existed, using earlier techniques. Bloomsweeper's hints run their own solver; the rest of the collection grew out of these.
The hints here aren't scripted. Demystify, an open-source solver that explains pen-and-paper puzzle deductions, is compiled to WebAssembly and runs in your browser the whole time you play. Press Where? or Why? and it solves your current board on the spot, finding the smallest set of clues that force the next step — the hint button isn't a workaround, it's the whole point. The levels themselves come from mystify, an active research project that generates each puzzle and proves it has exactly one solution before it ships. More puzzles and more types are on the way.