- Designed a SAT Solver using z3 in Python, to check satisfiability in CNF (Conjunctive Normal Form)
- Solved the NQueens and Sudoku problems with the designed solver, using DPLL (a backtracking algorithm)
dchandak99/SAT_Solvers
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|