I would like some solver recommendations to solve a problem with boolean/integer variables, mostly linear constraints but also some quadratic constraints. I also have an objective to minimize which is linear.
I think this kind of problem is called mixed integer quadratically constrained program (MIQCP).
The quadratic constraints are sums of linear terms and one quadratic term which is a constant multiplied by a squared variable.
I would like to know if there is some MIP solvers that can handle this kind of problem (I think CPLEX and Gurobi can).
I would also like to know if a CP (Constraint programming) solver can handle this kind of constraint ? I looked at Google's or-tools CP-SAT solver documentation and it appears that there is a function AddMultiplicationEquality() that allows for variable products.
Thanks for your help!