Solve sudoku using propositional LogicNovember 15, 2023 · 7 min readThe Goal is to solve a simple 4x4 sudoku using Propositional logic.