(function from pyomo.contrib.fbbt.interval)
pyomo.contrib.fbbt.interval
Compute the “bounds” on an EqualityExpression
Note this is not performing interval arithmetic: we are calculating the “bounds” on a RelationalExpression (whose domain is {True, False}). Therefore we are determining if x can be equal to y, x can not be equal to y, or both.