This is an automatic, deduction-based solver for the Waiters at Work daily puzzle from Layton's Mystery Journey , which as far as I can tell is an original puzzle type for the game. I don't actually find it all that interesting, which is pe...