https://github.com/howardwu/silly-sudoku
A simple Sudoku puzzle grid in Leo
https://github.com/howardwu/silly-sudoku
Last synced: 18 days ago
JSON representation
A simple Sudoku puzzle grid in Leo
- Host: GitHub
- URL: https://github.com/howardwu/silly-sudoku
- Owner: howardwu
- Created: 2020-10-02T20:26:44.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2021-01-25T18:31:31.000Z (about 4 years ago)
- Last Synced: 2025-02-13T05:42:24.649Z (2 months ago)
- Homepage: https://aleo.pm/@howard/silly-sudoku
- Size: 4.88 KB
- Stars: 44
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# silly-sudoku
A simple Sudoku puzzle grid in Leo.
## Usage
Add `silly-sudoku` to your Leo project:
```
leo add howard/silly-sudoku
```
This package is hosted on [Aleo.pm](https://aleo.pm/@howard/silly-sudoku).
## 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.