Keyword: puzzles

• Checker: The Mutilated Checkerboard
  Gérard Huet
• Coqoban: Coqoban (Sokoban)
  Jasper Stein
• Sudoku: A certified Sudoku solver
  Laurent Théry