Skip to content

Instantly share code, notes, and snippets.

@victornicolet

victornicolet/sudoku_cell_only_one_value

Created October 1, 2019 19:07
Show Gist options
  • Save victornicolet/43a9b4ded4ab4dcccf38f9a5539953b1 to your computer and use it in GitHub Desktop.
Save victornicolet/43a9b4ded4ab4dcccf38f9a5539953b1 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
sudoku_cell_only_one_value
for i in range(9):
for j in range(9):
clauses += exactly_one(lits[i][j])
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment