2.|2. 通过constraint 得到solution

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

    推荐阅读