Solving kenken puzzle as a binary csp problem Based on code from https://github.com/aimacode/aima-python/