我是一名 CS 学生，我正在将 Gurobi 用于一个项目。
我在这里是因为我遇到了与 MiniZinc 驱动程序一起使用的 Gurobi 求解器的小问题。特别是我注意到 Gurobi 针对同一个优化问题（使用 MiniZinc 建模）返回两个不同的解决方案，但所有浮点问题变量的域不同。第一个问题使用的域等于-2^31.0 .. 2^31.0，而第二个问题使用的域等于-3.402823e+38..3.402823e+38。
在第一种情况下，Gurobi 返回等于1.0的解，在第二种情况下，它返回UNSATorUNBOUNDED。