JeremyWeirich/kenken_solver archive