This PR adds an option to the arctan relaxation to use SOC overestimators from
Kocuk, B., Dey, S.S. & Sun, X.A. Matrix minor reformulation
and SOCP-based spatial branch-and-cut method for the AC
optimal power flow problem. Math. Prog. Comp. 10, 557–596
(2018). https://doi.org/10.1007/s12532-018-0150-9
This PR adds an option to the arctan relaxation to use SOC overestimators from
Note that I added Coramin as a dependency.