SAT Solving Projects based on Propositional and First Order Logic Theory
The repository has 2 projects:
-
Sudoku Pair Solver and Generator. The project uses MiniSAT solver in python to encode a mutually distinct sudoku pair into a SAT problem. Then the clauses are solved using MiniSAT.
-
SAT Solver The project implements DPLL SAT Solver in C++