col_sum_puzzle.fzn 1.07 KB