gecoder 0.9.0 → 0.9.1

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification 
 name: gecoder
 version: !ruby/object:Gem::Version 
-  version: 0.9.0
+  version: 0.9.1
 platform: ruby
 authors: 
 - Gecode/R Development Team
@@ -9,7 +9,7 @@ autorequire:
 bindir: bin
 cert_chain: []
 
-date: 2008-08-18 00:00:00 +02:00
+date: 2008-08-29 00:00:00 +02:00
 default_executable: 
 dependencies: []
 
@@ -22,17 +22,18 @@ extensions:
 extra_rdoc_files: 
 - README
 - CHANGES
+- THANKS
 - LGPL-LICENSE
 - lib/gecoder.rb
 - lib/gecoder/bindings.rb
 - lib/gecoder/interface/branch.rb
 - lib/gecoder/interface/enum_matrix.rb
-- lib/gecoder/interface/model_sugar.rb
 - lib/gecoder/interface/search.rb
 - lib/gecoder/interface/constraints.rb
+- lib/gecoder/interface/convenience.rb
 - lib/gecoder/interface/variables.rb
+- lib/gecoder/interface/mixin.rb
 - lib/gecoder/interface/enum_wrapper.rb
-- lib/gecoder/interface/model.rb
 - lib/gecoder/interface/constraints/set_var_constraints.rb
 - lib/gecoder/interface/constraints/extensional_regexp.rb
 - lib/gecoder/interface/constraints/selected_set_constraints.rb
@@ -75,8 +76,8 @@ extra_rdoc_files:
 - lib/gecoder/interface/constraints/int_var_constraints.rb
 - lib/gecoder/interface/constraints/reifiable_constraints.rb
 - lib/gecoder/interface/constraints/set_enum/channel.rb
-- lib/gecoder/interface/constraints/set_enum/select.rb
 - lib/gecoder/interface/constraints/set_enum/distinct.rb
+- lib/gecoder/interface/constraints/set_enum/element.rb
 - lib/gecoder/interface/constraints/set_enum/operation.rb
 - lib/gecoder/interface/binding_changes.rb
 - lib/gecoder/version.rb
@@ -85,6 +86,7 @@ extra_rdoc_files:
 files: 
 - README
 - LGPL-LICENSE
+- THANKS
 - CHANGES
 - COPYING
 - Rakefile
@@ -92,12 +94,12 @@ files:
 - lib/gecoder/bindings.rb
 - lib/gecoder/interface/branch.rb
 - lib/gecoder/interface/enum_matrix.rb
-- lib/gecoder/interface/model_sugar.rb
 - lib/gecoder/interface/search.rb
 - lib/gecoder/interface/constraints.rb
+- lib/gecoder/interface/convenience.rb
 - lib/gecoder/interface/variables.rb
+- lib/gecoder/interface/mixin.rb
 - lib/gecoder/interface/enum_wrapper.rb
-- lib/gecoder/interface/model.rb
 - lib/gecoder/interface/constraints/set_var_constraints.rb
 - lib/gecoder/interface/constraints/extensional_regexp.rb
 - lib/gecoder/interface/constraints/selected_set_constraints.rb
@@ -140,8 +142,8 @@ files:
 - lib/gecoder/interface/constraints/int_var_constraints.rb
 - lib/gecoder/interface/constraints/reifiable_constraints.rb
 - lib/gecoder/interface/constraints/set_enum/channel.rb
-- lib/gecoder/interface/constraints/set_enum/select.rb
 - lib/gecoder/interface/constraints/set_enum/distinct.rb
+- lib/gecoder/interface/constraints/set_enum/element.rb
 - lib/gecoder/interface/constraints/set_enum/operation.rb
 - lib/gecoder/interface/binding_changes.rb
 - lib/gecoder/version.rb
@@ -156,7 +158,6 @@ files:
 - example/sudoku.rb
 - example/square_tiling.rb
 - example/example_helper.rb
-- example/money.rb
 - vendor/rust/bin
 - vendor/rust/bin/cxxgenerator.rb
 - vendor/rust/README
@@ -236,6 +237,7 @@ files:
 - specs/distribution.rb
 - specs/spec_helper.rb
 - specs/int_var.rb
+- specs/mixin.rb
 - specs/enum_wrapper.rb
 - specs/model.rb
 - specs/set_var.rb
@@ -290,8 +292,8 @@ files:
 - specs/constraints/operands.rb
 - specs/constraints/set_enum
 - specs/constraints/set_enum/channel.rb
-- specs/constraints/set_enum/select.rb
 - specs/constraints/set_enum/distinct.rb
+- specs/constraints/set_enum/element.rb
 - specs/constraints/set_enum/operation.rb
 - specs/examples.rb
 - ext/gecoder.cpp
@@ -324,7 +326,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: "0"
   version: 
 requirements: 
-- Gecode 2.1.1
+- Gecode 2.2.0
 rubyforge_project: gecoder
 rubygems_version: 1.2.0
 signing_key: 
@@ -341,6 +343,7 @@ test_files:
 - specs/distribution.rb
 - specs/spec_helper.rb
 - specs/int_var.rb
+- specs/mixin.rb
 - specs/enum_wrapper.rb
 - specs/model.rb
 - specs/set_var.rb
@@ -385,7 +388,7 @@ test_files:
 - specs/constraints/bool_enum/extensional.rb
 - specs/constraints/operands.rb
 - specs/constraints/set_enum/channel.rb
-- specs/constraints/set_enum/select.rb
 - specs/constraints/set_enum/distinct.rb
+- specs/constraints/set_enum/element.rb
 - specs/constraints/set_enum/operation.rb
 - specs/examples.rb

data/example/money.rb

@@ -1,36 +0,0 @@
-require 'rubygems'
-require 'gecoder'
-
-solution = Gecode.solve do
-  # A helper to make the linear equation a bit tidier. Takes a number of
-  # variables and computes the linear combination as if the variable
-  # were digits in a base 10 number. E.g. x,y,z becomes
-  # 100*x + 10*y + z .
-  def equation_row(*variables)
-    variables.inject{ |result, variable| variable + result*10 }
-  end
-
-  # Set up the variables. 
-  # Let "letters" be an array of 8 integer variables with domain 0..9.
-  # The elements represents the letters s, e, n, d, m, o, r and y.
-  letters_is_an int_var_array(8, 0..9)
-  s,e,n,d,m,o,r,y = letters
-
-  # Set up the constraints.
-  # The equation must hold.
-  (equation_row(s, e, n, d) + equation_row(m, o, r, e)).must ==
-    equation_row(m, o, n, e, y)
-
-  # The initial letters may not be 0.
-  s.must_not == 0
-  m.must_not == 0
-
-  # All letters must be assigned different digits.
-  letters.must_be.distinct
-
-  # Tell Gecode what variables we want to know the values of.
-  branch_on letters, :variable => :smallest_size, :value => :min
-end
-
-puts 's e n d m o r y'
-puts solution.letters.values.join(' ')