У меня проблема, о которой упоминалось ранее, и я не совсем понимаю решение (сочетание замены с упрощением). В моей кодировке у меня строгое неравенство, и мне нужно было бы установить эпсилон либо на 0, либо на очень маленькое значение. Например, у...

Я использую minizinc со встроенным Gecode 6.1.1, и я хочу максимизировать целевую функцию со значениями, которые намного больше, чем max int 32. Максимальное значение целого числа с 32 битами составляет 2147483646. Хотя, похоже, не так много...