Java约束库（JCL）问题：如何表示添加？

Question

我必须使用CSP解决Java Constraints Library逻辑问题。现在我已经设法代表了问题的一些约束，其中大多数是基于“等于”和“不等于”二进制约束。我怀疑的是，如何表示基于加法的约束？例如：

• variable1属于DomainA
• variable2属于DomainB
• variable3属于DomainA
• variable4属于DomainB

现在约束：

• variable1和variable2的总和是 大于变量3和的总和 variable4。

观察：这些变量代表金钱，因此可以添加它们。

Answer 1

由于Java约束库仅使用一元或二元约束，因此我们必须执行Binarization of Constraints以表示n元约束。我们还可以继承库中的现有关系类，并定义新的兼容关系。