hyperactive

Solving sudokus with SAT solvers

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
sample_cnf		sample_cnf
stats		stats
Hyper-encoding		Hyper-encoding
README.md		README.md
encoder.py		encoder.py
explore.py		explore.py
solver.py		solver.py
sudoku.ipynb		sudoku.ipynb
sudoku2.ipynb		sudoku2.ipynb
sudoku_gen.py		sudoku_gen.py

Provide feedback