Java 如何在choco solver中获得变量之和

我有

并继续使用它

IntVar totalAreas = orArea.sum();

---

可以声明如下所示的求和约束：

IntVar totalAreas=model.IntVar（“totalAreas”，0，Stream.of（orArea）.mapToInt（IntVar:：getUB.sum（））；
model.sum（orArea，“=”，totalAreas.post（）；

您可以像这样声明总和约束：

IntVar totalAreas=model.IntVar（“totalAreas”，0，Stream.of（orArea）.mapToInt（IntVar:：getUB.sum（））；
model.sum（orArea，“=”，totalAreas.post（）；

IntVar totalAreas = orArea.sum();

IntVar trimToOrder = total_trim.mul(1000000).div(totalAreas).intVar();
model.setObjective(Model.MINIMIZE, trimToOrder);