Some examples of using gurobi (Optimization solver)