torn_number.fzn 2.13 KB