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_

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.html 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