I'm a CS student and I'm using Gurobi for a project.
I am here because I have encountered a little problem with the Gurobi solver used along with the MiniZinc driver. In particular I have noticed that Gurobi returns two different solutions on the same optimisation problem (modelled with MiniZinc) but with a different domains for all the float problem variables. The first problem uses a domain equal to -2^31.0 .. 2^31.0, while the second uses a domain equal to -3.402823e+38..3.402823e+38.
In the first case Gurobi returns a solution equal to 1.0, in the second case it returns UNSATorUNBOUNDED.