SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.
logic
mathematics
sudoku-solver
discrete-mathematics
sudoku
satisfiability-solver
propositional-logic
boolean-satisfiability
satisfiability
matematika
logika-proposisional
logika
matematika-diskrit
-
Updated
Jan 31, 2022 - Python