Skip to content

ssnl/SAT-Su-DoKu

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits

README.md

README.md

 
 

agents.py

agents.py

 
 

agents.pyc

agents.pyc

 
 

logic.py

logic.py

 
 

logic.pyc

logic.pyc

 
 

logic_extra.py

logic_extra.py

 
 

logic_extra.pyc

logic_extra.pyc

 
 

logic_utils.py

logic_utils.py

 
 

logic_utils.pyc

logic_utils.pyc

 
 

sudoku.py

sudoku.py

 
 

Repository files navigation

A Su Doku solver using PycoSAT.

  • logic.py, logic_utils.py, logic_extra.py, agents.py: Propositional logic and SAT solver wrapper
    • Taken from UC Berkeley Fall 2014 CS 188 Project 2
  • sudoku.py: Actual solver

Run

python -i sudoku.py

with Python 2.

About

Solve Su Doku as a SAT problem

Resources

Readme
Activity

Stars

0 stars

Watchers

3 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages