Sudoku problem #25
Sudoku problem #25
Conversation
| # Instructions | ||
|
|
||
| Sudoku is the popular number puzzle of fitting the numbers 1-9 into each column, row, | ||
| and 3x3 block using each exactly once. Write a z3 function that takes a 9x9 list of lists |
There was a problem hiding this comment.
I don't think that you need to say "Write a Z3 function ..." since this will be under the Z3 track. Maybe just start the sentence with "Write a function ..."
|
|
||
| Sudoku is the popular number puzzle of fitting the numbers 1-9 into each column, row, | ||
| and 3x3 block using each exactly once. Write a z3 function that takes a 9x9 list of lists | ||
| containing the sudoku puzzle (row major order), and returns the solution as a 9x9 list of |
There was a problem hiding this comment.
I think that "row major order" may be a little confusing to readers. Is there a simpler way to explain this?
| (0, 7, 0, 0, 0, 0, 5, 2, 0), | ||
| (9, 0, 0, 0, 6, 5, 0, 0, 0), | ||
| (0, 4, 0, 9, 7, 0, 0, 0, 0)) | ||
| """ |
There was a problem hiding this comment.
I think that this comment can be removed since it won't be the only solution (since you will also be testing the puzzles in the .txt file)
| (0, 4, 0, 9, 7, 0, 0, 0, 0)) | ||
| """ | ||
|
|
||
| # Ensure that the generated sudoku solution works with the fits the given puzzle. |
There was a problem hiding this comment.
"works with the fits the" should probably be "works with the" OR "fits the", not both
| @@ -0,0 +1,500 @@ | |||
| Grid 01 | |||
| 003020600 | |||
There was a problem hiding this comment.
I like the idea of using a .txt file to do this. Good job!
|
Not ready to merge |
No description provided.