ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 11:45:00 +03:00
Code Issues Packages Projects Releases Wiki Activity
e82be01d75
leo/examples/silly-sudoku
History
damirka b8312ab4a4 adds integration tests to Leo CLI 
- leo tests are now written as cli commands
- leo libraries and binaries removed from package and cli
- small code optimizations and removals
2021-04-21 13:01:11 +03:00
..
inputs adds integration tests to Leo CLI 2021-04-21 13:01:11 +03:00
src semi-colon after return statements are required 2021-04-14 16:59:07 -04:00
.gitignore add silly-sudoku example 2021-03-29 22:12:06 -07:00
Leo.toml add silly-sudoku example 2021-03-29 22:12:06 -07:00
README.md add silly-sudoku example 2021-03-29 22:12:06 -07:00

README.md

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.