mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-18 07:11:53 +03:00
24 lines
473 B
Markdown
24 lines
473 B
Markdown
|
# silly-sudoku
|
||
|
|
|
||
|
|
A simple Sudoku puzzle grid in Leo.
|
||
|
|
|
||
|
|
## Walkthrough
|
||
|
|
|
||
|
|
Start by defining a puzzle grid:
|
||
|
|
```
|
||
|
|
[[0, 4, 6],
|
||
|
|
[3, 0, 9],
|
||
|
|
[7, 5, 0]]
|
||
|
|
```
|
||
|
|
We treat all 0's as empty cells in the grid.
|
||
|
|
|
||
|
|
Next, generate an answer and construct it as a puzzle grid solution:
|
||
|
|
```
|
||
|
|
[[8, 4, 6],
|
||
|
|
[3, 1, 9],
|
||
|
|
[7, 5, 2]]
|
||
|
|
```
|
||
|
|
|
||
|
|
The SillySudoku circuit will proceed to verify that the solution grid matches the starting puzzle grid,
|
||
|
|
and check that each number between 1 - 9 is used exactly once.
|