Skip to content

dchandak99/SAT_Solvers

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 

Repository files navigation

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)

About

No description or website provided.

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published