first time earing about Gurobi, is it some kind of SMT solver? I tried looking at their website but could only find high level marketing description.