ZebraLogic

Logic-grid (Zebra) puzzles of controlled size, measuring structured constraint reasoning and search.