Ограничение для создания неравенства IntVar[] в Java с помощью Jacop
Я пытаюсь кодировать двоичные головоломки на Java, используя библиотеку JaCop для программирования ограничений, и мне трудно сделать строки неравными. Стандартное ограничение XneqY предназначено только для отдельных переменных, и для IntVar[] эквивалента нет. Я пробовал использовать LexOrder в качестве альтернативы, но он слишком сильно ограничивает, поскольку заставляет одну строку быть лексикографически больше другой, и я не могу использовать ограничение или, чтобы она была больше или меньше, поскольку это можно использовать только с примитивные ограничения, которых нет в LexOrder. Кто-нибудь знает, как это сделать? В настоящее время я пытаюсь создать новое ограничение, которое изменяет XneqY и присваивает числовое значение строке / столбцу, преобразовывая его в двоичный, а двоичный обратно в целое число, но я был бы признателен за любые новые идеи.