bin packing constraint

todo mzn builder