feat: update kakuro to use modern MiniZinc#13

Dekker1 wants to merge 1 commit intoMiniZinc:masterMiniZinc/minizinc-benchmarks:masterfrom

Dekker1:feat/kakuro_updateDekker1/minizinc-benchmarks:feat/kakuro_updateCopy head branch name to clipboard