Skip to content

OmerBaddour/KenKen

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

19 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

Solvers for KenKen

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published