Пояснение к решению от choco solver

Question

Когда я запускаю свой choco solver 4.0.6, я получаю такое решение:

Solution : X = 10, Y = 14, REIF_1=1, not(REIF_1)=0, REIF_2=1, not(REIF_2)=0,  IV_3=2, REIF_4=1, not(REIF_4)=0 ...

За исключением значений X и Y, может кто-нибудь сказать мне, что означают остальные решения?

Answer 1

В IV мэкв введена переменная. Часто при ограничении нужна вспомогательная переменная для работы. Переменная REIF - это переменная. Аннотации впереди вроде не являются логическими операторами.

Bests

Вы можете найти документацию https://github.com/chocoteam/choco-solver

Answer 2

Чтобы быть более точным, другие переменные были либо:
- введенный решателем (например, с помощью переформулирования, реификации или некоторых взглядов) => вам не нужно заботиться о них.
ИЛИ ЖЕ
- введено вами, но без имени (имя генерируется автоматически в этом случае) => вам лучше дать им имя, если вы хотите их напечатать

Я также предлагаю вам печатать нужные переменные вместо того, чтобы полагаться на журнал по умолчанию.