Skip to content

Latest commit

 

History

History
22 lines (16 loc) · 777 Bytes

README.md

File metadata and controls

22 lines (16 loc) · 777 Bytes

KenKen

Solvers for KenKen using Z3.

Project Initialization

$ git clone https://github.com/OmerBaddour/KenKen.git
$ cd KenKen
$ python -m venv venv_kenken
$ source venv_kenken/bin/activate
$ pip install -r requirements.txt

Usage

$ cd KenKen
$ source venv_kenken/bin/activate

Find a program that's suitable for your use-case, and follow its instructions. In my opinion the most interesting and useful program is kenken_image_processor.ipynb, which takes a screenshot of a KenKen puzzle instance as input, parses it, and outputs a solution.