Puzzler is a solver for natural-language logic puzzles. It accepts as input a logic puzzle written in natural language, and produces an encoding of that puzzle in a formal relational logic. Puzzler also offers a solving and visualization tool based on the Alloy Analyzer, allowing the user to examine and interpret the puzzle's solution. Puzzler is designed around the famous Einstein (or Zebra) logic puzzle, but also generalizes to other puzzles in the same style.