bin_packing2.fzn 4.36 KB