Constraint satisfaction problems with the kenken puzzle.
Constains code for heuristics (mrv and lcv), propagators (forward checking and GAC) and then code to build the actual kenken models.
cladwithstars/constraint-satisfaction-AI-solver
Constraint satisfaction problems with the kenken puzzle
Python