Skip to content

Instantly share code, notes, and snippets.

@victornicolet

victornicolet/sudoku_cell_only_once_row.py

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