Contents

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)

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
ConstraintSolver-0.1	examples/example.rb