Implementation of the Kenken game in Python. Solver is based on prolog clpfd