Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)
-
Updated
Mar 25, 2019 - Python
Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)
A Kenken puzzle generator & solver
The encoding of a CSP model to solve the logic puzzle, "Kenken", and the implementation of two constraint propagators – a Forward Checking constraint propagator, and a Generalized Arc Consistence (GAC) constraint propagator, along with the variable ordering heuristic of Minimum Remaining Values (MRV).
A KenKen python solver that represents the game as a Constraint Satisfaction Problem (CSP) and can use several algorithms for its solution.
Fast backtracking solver for KenKen puzzles
KenKen game solver using Depth-First Search (DFS) algorithm
A Forms KenKen puzzle player
A graphical Mathdoku (aka Ken-Ken) grid solver.
Add a description, image, and links to the kenken topic page so that developers can more easily learn about it.
To associate your repository with the kenken topic, visit your repo's landing page and select "manage topics."