x = Variable.new("x", Domain.new([1, 2, 3].to_set))
y = Variable.new("y", Domain.new([1, 2, 3].to_set))

problem = Problem.new([x, y], ConstraintList.new([BinaryConstraint.new(x, y, BinaryRelation.new("<"))]))


puts solve(problem)