sudoku A sudoku problem resolved using linear programing. Interfaces Pulp Pyomo Numberjack Solvers GLPK Gurobi CLP CPLEX SCIP SAT-Solvers MiniSAT (using satispy) PicoSAT (using Pycosat)