/P_SAT-Solving

SAT Solving Projects based on Propositional and First Order Logic Theory

Primary LanguagePython

P_SAT-Solving

SAT Solving Projects based on Propositional and First Order Logic Theory

The repository has 2 projects:

  1. 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.

  2. SAT Solver The project implements DPLL SAT Solver in C++