A fast, interactive web application for solving Sudoku puzzles.
The solver engine is built using the Linear Programming library Pyomo and the UI is built with Streamlit. Inspired by jhrcook
.
The Sudoku is a logic-based combinatorial number-placement puzzle (source: wikipedia). The objective is to fill a
The puzzle setter provides a partially completed grid, which for a well-posed puzzle has a single solution.
Completed games are always an example of a Latin square which include an additional constraint on the contents of individual regions.
An example of an instance of the game of the day is a s follows:
. . . | . 9 4 | 8 . .
. 2 . | . 1 7 | 5 . .
. . 6 | . . . | . 1 .
---------------------
. 6 2 | . . 8 | . . 7
. . . | 3 . 2 | . . .
3 . . | 9 . . | 4 2 .
---------------------
. 9 . | . . . | 6 . .
. . 1 | 7 8 . | . 9 .
. . 3 | 4 5 . | . . .
We show next how to solve this puzzle (and any other instance of the game) by using Integer Linear Programming (ILP).
Open command prompt / cmd
streamlit run app.py