sat-solver

• 15 Nov 2023
• 5 min read

Solve sudoku using propositional Logic

Encoding a 4x4 Sudoku as a propositional formula — cell, row, column and 2x2 constraints — and letting the limboole SAT checker solve it.