This is by no means a complete list, but this is some of the best stuff for this mathematical structure:
Commercial and free:
Octeract Engine (our own solver).
Commercial and not free:
Gurobi, Lindo Global, Baron, Antigone, LocalSolver.
You might be able to get a free version of Gurobi (and maybe some of the other non-free ones) if ...