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