The nice thing with Google OR tools is that it gives you several solvers with common API. In my experience a solver might struggle sometimes with a problem that another one will solve without problem. So it’s useful to allow your users to switch the solver used with a simple drop down.