Converting ternary constraint into binary constraints

Question

Show how a single ternary constraint such as "x + y = z" can be turned into three binary constraints by using an auxiliary variable.

Answer 1

We can use a new data structure. 

For example, make an auxiliary variable t = [x, z-x].

t.1 = x

t.2 = y

sum(t) = z