Relaxation of Implicit Functions

High-level functions

Subroutines

EAGO.McCormick.final_cutFunction

final_cut

An operator that cuts the x_mc object using the x_mc_int bounds in a differentiable or nonsmooth fashion to achieve a composite relaxation within x_mc_int.