Do you know what’s the best solver to use when working with nonlinear constraints and integer variables?