SAT_Solvers 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)