Is there any recommended commercial non-convex solver for bilinear equality constraints? E.g.,
$$ \begin{aligned} x_1 x_2 &= x_3 \\ x_1 x_3 &= x_4 \\ &\vdots \\ x_1 x_n &= x_{n+1} \end{aligned} $$
Non-commercial solver IPOPT can solve it efficiently, and I would like to try some commercial solvers and comparing them.