Update to use new CSPSolver KenKen solver