Puzzle solving entries have moved to a new blog.

The puzzle solving entries of this blog have moved to https://puzzlesolvingsmtstyle.blogspot.com/

Check out how to reframe common puzzles into the language of an SMT solver.

For example:

• 

  Solving Classic and other Sudoku using an SMT (Integer) solver.

  Sudoku is a popular recreational puzzle comprising a 9 by 9 grid of numbers all in the range 1..9. The puzzle must be completed whilst obser...
• 

  Solving Kurosu using and SMT (Integer) solver

  Solving Kurosu using an SMT (integer) solver See Original and updates on https://gannett-hscp.blogspot.com   ** UPDATED  May 2023 fix method...
• 

  Chess Queens social distancing problem using an SMT (integer) and boolean solvers

  Placing chess queens on a grid such that social distancing is maintained is a classic problem. We look here at a method for solving this pop...