Мне нужно решить логическую проблему CSP, используя Библиотека ограничений Java. На данный момент мне удалось представить некоторые ограничения задачи, большинство из которых основаны на двоичных ограничениях «равно» и «не равно». Я сомневаюсь, как представить ограничение на основе сложения? Пример:
- variable1 принадлежит DomainA
- variable2 принадлежит DomainB
- variable3 принадлежит DomainA
- variable4 принадлежит DomainB
Теперь ограничение:
- Сумма переменной1 и переменной2 больше суммы переменной3 и переменной4.
Наблюдение: эти переменные представляют деньги, поэтому их можно складывать.