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