ice_cream.fzn 3.94 KB