File: solve.rb

#!/usr/bin/env ruby require 'amb' A = Amb.new x = A.choose(1,2,3,4) y = A.choose(1,2,3,4) puts "DBG: x = #{x}, y = #{y}" A.assert x + y == 5 A.assert x - y == 1 A.assert x == 2 puts "x = #{x}, y = #{y}"

Used by: amb