Я студент CS и использую Gurobi для проекта.
Я здесь, потому что столкнулся с небольшой проблемой с решателем Gurobi, используемым вместе с драйвером MiniZinc.В частности, я заметил, что Gurobi возвращает два разных решения для одной и той же задачи оптимизации (смоделированной с помощью MiniZinc), но с разными доменами для всех переменных задачи с плавающей точкой.В первой задаче используется домен, равный -2 ^ 31.0 .. 2 ^ 31.0 , а во второй используется домен, равный -3.402823e + 38..3.402823e + 38 .
В первом случае Gurobi возвращает решение, равное 1.0 , во втором случае возвращает UNSATorUNBOUNDED .