/sudoku-sat-solver

Ranking Clues for SuDoKu SAT Solvers

Primary LanguagePython

sudoku-sat-solver

python3 processinput.py

For pycosat alterations:

PYTHON=python3 make clean && PYTHON=python3 make && cp pycosat.cpython-36m-darwin.so /anaconda/envs/ml1labs/lib/python3.6/site-packages/