Add simple GUI

README.md

···
 
 the `from_csv` and `from_json` class methods are provided to facilitate handling of input files. `from_array` handles input `numpy` arrays. the `solve` method performs the optimization and builds a 9x9 `numpy` array with the proposed solution.
 
+the [`gui.py`](/gui.py) script provides a simple GUI using [`tkinter`](https://docs.python.org/es/3.13/library/tkinter.html). run it to launch it. click on the grid to change the numbers; click on "Solve" to fill the sudoku.
+
+empty tiles are represented with zeros.
+
 ## Dependencies
 
 a pre-made environment can be set up with:
···
 
 run `solpoku.py` to solve the following sudoku three times:
 a) hard-coded in the script, b) read from a [CSV](/test/sudoku.csv) file
-(here zeros represent empty tiles)
 and c) read from a [JSON](/test/sudoku.json) file:
 
 | | | | | | | | | |

gui.py

···
+import tkinter as tk
+import numpy as np
+from solpoku import SudokuProblem
+
+
+class Application(tk.Frame):
+
+    def __init__(self, master=None):
+        tk.Frame.__init__(self, master)
+        self.grid()
+        self.problem = SudokuProblem()
+        self.init_number_grid()
+
+    def solve(self):
+        # Solve problem from array
+        array = np.zeros((9, 9), dtype=np.uint8)
+        for (i, j), value in self.grid_values.items():
+            array[i, j] = value.get()
+            print(f"grid ({i+1},{j+1}) = {value.get()}")
+        self.problem.set_objective_from_array(array)
+        solution = self.problem.solve()
+        # Fill grid
+        for (i, j), value in self.grid_values.items():
+            value.set(solution[i, j])
+        # Update status
+        self.status_label.config(text=self.problem._model.status)
+
+    def _update_value_callback(self, row, col):
+        def wrapped():
+            value = self.grid_values[(row, col)]
+            if value.get() == 9:
+                value.set(0)
+            else:
+                value.set(value.get() + 1)
+            self.status_label.config(text="unsolved")
+        return wrapped
+
+    def init_number_grid(self):
+        # Number grid
+        self.grid_values = {}
+        for i in range(9):
+            for j in range(9):
+                button_value = tk.IntVar()
+                button_value.set(0)
+                button = tk.Button(
+                    self,
+                    name=f"v{i+1}{j+1}",
+                    textvariable=button_value
+                )
+                button.config(command=self._update_value_callback(i, j))
+                button.grid(row=i, column=j)
+                self.grid_values[(i, j)] = button_value
+        # Solve button
+        self.solve_button = tk.Button(
+            self,
+            text="Solve",
+            command=self.solve
+        )
+        self.solve_button.grid(row=9, column=0, columnspan=5)
+        # Status label
+        self.status_label = tk.Label(
+            self,
+            text="unsolved"
+        )
+        self.status_label.grid(row=9, column=4, columnspan=4)
+
+
+if __name__ == "__main__":
+    app = Application()
+    app.master.title("solpoku GUI")
+    app.mainloop()

solpoku.py

···
         problem.set_objective(varnames)
         return problem
 
+    def set_objective_from_array(self, array: np.ndarray):
+        self.set_objective(
+            [f"v{i+1}{j+1}{array[i, j]}" for i, j in np.ndindex(array.shape) if array[i, j] != 0]
+        )
+
     @classmethod
     def from_array(cls, array: np.ndarray):
         assert array.shape == (9, 9), "array is not 9x9"
         problem = cls()
-        problem.set_objective(
-            [f"v{i+1}{j+1}{array[i, j]}" for i, j in np.ndindex(array.shape) if array[i, j] != 0]
-        )
+        problem.set_objective_from_array(array)
         return problem
 
     def to_json(self, path: str, indent=True):