boundlab.ibp.max

Rewrites of max(x, const) into operations the domains already bound.

Classes

MaxWithConst2Relu	max(x, y) = relu(x - y) + y when one side is constant, so max inherits whatever ReLU relaxation the domain registered.
MaxWithConstBiased	Shift the Bias center out first: max(c + i, y) = c + max(i, y - c) — exact, and strictly better than relaxing the whole value.