add_constraint.exs

alias CPSolver.IntVariable
alias CPSolver.Model
alias CPSolver.Constraint
alias CPSolver.Constraint.Factory
alias CPSolver.Constraint.NotEqual  
alias CPSolver.Constraint.Equal
import CPSolver.Variable.View.Factory # For linear

x = IntVariable.new(0..3, name: "x")
y = IntVariable.new(0..3, name: "y")
z = IntVariable.new(0..3, name: "z")

{sum_var, add_constraint} = Factory.add(x, y)
{:ok, res} = CPSolver.solve_sync(Model.new([x, y, z], [Equal.new(z, sum_var), add_constraint]))
## Alternatively:
'''
x = IntVariable.new(0..3, name: "x")
y = IntVariable.new(0..3, name: "y")
z = IntVariable.new(0..3, name: "z")
{:ok, res} = CPSolver.solve_sync(Model.new([x, y, z], [Sum.new(z, [x, y])]))
'''