Skip to content

Instantly share code, notes, and snippets.

@victornicolet

victornicolet/sudoku_cell_only_once_col.py

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