Contents

require File.dirname(__FILE__) + '/example_helper'

class EquationProblem < Gecode::Model
  def initialize
    x, y, z = vars_is_an int_var_array(3, 0..9)

    (x + y).must == z
    x.must == y - 3

    branch_on vars
  end
end

puts 'x y z'
puts EquationProblem.new.solve!.vars.values.join(' ')

Version data entries

3 entries across 3 versions & 2 rubygems

Version	Path
gecoder-0.9.0	example/equation_system.rb
gecoder-with-gecode-0.9.0-x86-mswin32-60	example/equation_system.rb
gecoder-with-gecode-0.9.0	example/equation_system.rb