Hi @WalterMadelim, again it’s great to have people so actively posting in the forum 
But I might ask that we convert your effort on tutorial-type math focused posts like this one and A naive explanation of infeasibility and unboundedness into improvements to the JuMP documentation?
Let’s try to keep the posts on the Julia forum focused on code problems with Julia and JuMP. For example, the bugs you’re finding in Gurobi.jl are excellent and very helpful!