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

我必须使用Java约束库解决CSP逻辑问题。现在我已经设法代表了问题的一些约束，其中大多数是基于“等于”和“不等于”二进制约束。我的疑问是，如何表示基于加法的约束？例： variable1属于DomainA variable2属于DomainB variable3属于DomainA variable4属于DomainB 现在约束： variable1和variable2的总和是 大于variable3和的总和 variable4。 观察：这些变量代表金钱，因此可以添加。