Sudoku Puzzle

Sudoku solver. Example of a well known logic puzzle. Solving in fdq, a Finite Domain Constraint Solver By Peter van der Zee, © pvdz.ee, September 2017.

Back to puzzle list

Each row, column, and 3x3 grid must contain the numbers 1 through 9 once. Some numbers are given.

(Trying to load library)

reduce constraints first
brute force solve

Input dsl:

Output:

Import:
Export:

Note: Solving won't work in Edge and Safari until they support TextEncoder (or when the standards committee grace us with a simpler method of converting string to Uint8Array, whichever comes first).

Note: It seems for some reason that the second and third problem cause problems in Firefox. Not sure what's up there. *shrug*