Inverse implication

b ← ax ≥ c

• Model as

  b- → ax ≤ c-m

  where m is a sufficiently small value (slightly larger than the feasibility tolerance)

b ← ax ≤ c

• Model as

  b- → ax ≥ c+m

b ← ax = c

• Model as

  b- → b1 + b2 = 1

  b1 → ax ≥ c+m

  b2 → ax ≤ c-m