A simple jupyter notebook for solving suduko puzzles using google or-tools MILP framework
Disclaimer: I did not formulate this model. I just set it up with or-tools as an exercise. I found the model I used here: https://neos-guide.org/content/sudoku