Sudoku Solver using SAT
SAT solvers are great. You can use them to solve systems of equations, generate cd keys, or even go forwards or backwards in time in Conway’s Game of Life.
Recent posts
Flare-On 2019 challenge 8 - Snake for Dummies
Ever since I was 8 years old I thought snake was a game for dummies. To me it seemed more a test of patience than skill, a test I would always fail. But I kn...