Add a bridge for f-in-LessThan,GreaterThan,EqualTo to Complements #2581
Description
x-ref jump-dev/JuMP.jl#3738
f(x) == b <--> {f(x) - b} ⟂ y
f(x) >= b <--> {f(x) - b} ⟂ y >= 0
f(x) <= b <--> {f(x) - b} ⟂ y <= 0
{{ message }}
x-ref jump-dev/JuMP.jl#3738
f(x) == b <--> {f(x) - b} ⟂ y
f(x) >= b <--> {f(x) - b} ⟂ y >= 0
f(x) <= b <--> {f(x) - b} ⟂ y <= 0