Skip to content

Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku

Notifications You must be signed in to change notification settings

liloheinrich/Sudoku

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

DPLL SAT Solver applied to Sudoku

Advanced Algorithms, Spring 2021

Team members: Hwei-Shin, Alex, and Lilo

See Lab Report for more information

To run, use python sudoku.py "filename.txt"

filename is the name of a text file containing a sudoku puzzle, in the following format:

  • The first line is the size of the puzzle. For example, if it is 9 x 9 squares then the size is 3 (the square root of 9).
  • The second line is the clue dictionary, in this format:
    • {(row,col): val, (row2,col2): val2, ...}
    • Note: start the row and column indexing at 1

Eight example puzzles are provided. Warning: some puzzles may take longer to run than others, due to difficulty level.

To try your own, write it in the format specified inside of a .txt file, then run the program!

About

Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages