Logic puzzles as transition systems