m0re4u/know-rep

SAT Project

Requirements

---

• Tested on Python 3.5.2+
• pycosat
• Pillow(Only for generating the dataset)

Optional

• pytesseract(Only for generating the dataset)

Usage

---

To generate the dataset from scratch:

python3 kropki_generate.py -dpw

To solve a sudoku with the naive encoding:

python3 kropki_solve.py

To solve a sudoku with the improved encoding:

python3 enc_kropki.py