A Sudoku game I programmed. Hopefully it is self explanatory. Press a cell to mark it, press a number to enter it into the cell. You can use the keyboard as well. Press the pencil to enter annotation mode.
I also implemented a Sudoku solver, using a SAT solver I created. I used the DPLL algorithm for my SAT solver. I want to use CDCL to solve it faster, but I&aposll do it when I have some more spare time.
To generate a new board, I create an empty board and set 10 of the tiles to some random values, think of it like a random seed. Then I solve it using my solver. When it is fully solved I start removing random cells, making sure that there is a unique solution at all times.