GitHub - abell25/sudoko_solver: sudoku solver using minisat sat solver.

Sudoku Solver using the minisat boolean satisfiability solver (SAT).

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
minisat		minisat
.sudoku.cnf.swp		.sudoku.cnf.swp
.sudoku.py.swp		.sudoku.py.swp
MiniSat_v1.14_cygwin		MiniSat_v1.14_cygwin
README.md		README.md
hard.data		hard.data
sudoku.cnf		sudoku.cnf
sudoku.out		sudoku.out
sudoku.py		sudoku.py

Provide feedback