title: Will Ortools/gurobi runs faster if given more constraints?
body: <p>Hi I'm trying to solve Operation problems with ortools or gurobi. I'm wondering if I provide some explicit constraints, like the variables should fall in [a,b], will that accelerate running speed or make it even more complicated than before?</p>