Проблема с библиотекой ограничений Java (JCL):как представить сложение?

Question

Я должен решить CSP логическая задача с использованием Библиотека ограничений Java.На данный момент мне удалось представить некоторые ограничения проблемы, большинство из них основаны на бинарных ограничениях "равно" и "не равно".Мое сомнение в том, как представить ограничение, основанное на добавлении?Пример:

• переменная 1 принадлежит DomainA
• переменная 2 принадлежит DomainB
• переменная 3 принадлежит DomainA
• переменная 4 принадлежит DomainB

Теперь ограничение:

• Сумма переменных 1 и переменных2 больше суммы переменных 3 и переменных4.

Наблюдение:эти переменные представляют деньги, поэтому их можно добавить.

Answer 1

Поскольку библиотека ограничений Java использует только унарные или двоичные ограничения, мы должны сделать Бинаризация ограничений для того, чтобы представить n-арные ограничения.Мы также можем наследовать существующие классы отношений в библиотеке и определять новые совместимые отношения.