在这一章节，我们将用到minizinc， 类似于一个编译器，但是它提供不同的solver帮助我们解决问题，我们只需要对问题中的限制（binary constraint network）进行描述(1.constant 2.variable 3.constraint)，要求solver 为我们提供满足解或者最优解。
生活中我们会遇到很多资源分配问题，例如
在departure point， 有两种不同类型的车，一种只运常温货物，一种可以运常温和低温货物。每辆车都有各自的capacity
如今送货到很多家商店，每个商店都有对于货物的不同需求。
对于不同的问题条件，请给出不同的解决方案。
