glnmario/hyperactive

Solving sudokus with SAT solvers

Python