[gotski]

This makes me think of an example from the PuLP docs of solving sudoku using constraint based linear programming.

https://coin-or.github.io/pulp/CaseStudies/a_sudoku_problem....

This example helped me enormously in developing my understanding of how to use binary variables in an LP solver