Yea, I was going to say that many solvers are closed-source and incredibly expensive and have very restrictive licenses (basically all the good ones).