CLP supports a variable status of "atUpperBound". Surely this would affect the GMI cut?
CLP supports a variable status of "atUpperBound". Surely this would affect the GMI cut?