A SAT-Based KenKen Solver

A while ago, I wrote some Python code to solve KenKen puzzles. The solution is interesting for two reason. First, it uses SAT solving technology to find the solution, and two, it provides an simple way to specify puzzles.

Here is the GitHub repository: https://github.com/stevenmburns/kenken.git