gecoder-with-gecode 0.9.0-x86-mswin32-60 → 0.9.1-x86-mswin32-60

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification 
 name: gecoder-with-gecode
 version: !ruby/object:Gem::Version 
-  version: 0.9.0
+  version: 0.9.1
 platform: x86-mswin32-60
 authors: 
 - Gecode/R Development Team
@@ -9,7 +9,7 @@ autorequire:
 bindir: bin
 cert_chain: []
 
-date: 2008-08-19 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,16 +292,16 @@ 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
-- vendor/gecode/win32/lib/libgecodeset.dll
-- vendor/gecode/win32/lib/libgecodeint.dll
-- vendor/gecode/win32/lib/libgecodesupport.dll
-- vendor/gecode/win32/lib/libgecodekernel.dll
-- vendor/gecode/win32/lib/libgecodesearch.dll
-- vendor/gecode/win32/lib/libgecodeminimodel.dll
+- vendor/gecode/win32/lib/libWindowsgecodesetWindows.dll
+- vendor/gecode/win32/lib/libWindowsgecodekernelWindows.dll
+- vendor/gecode/win32/lib/libWindowsgecodesupportWindows.dll
+- vendor/gecode/win32/lib/libWindowsgecodeminimodelWindows.dll
+- vendor/gecode/win32/lib/libWindowsgecodesearchWindows.dll
+- vendor/gecode/win32/lib/libWindowsgecodeintWindows.dll
 - lib/gecode.dll
 has_rdoc: true
 homepage: http://gecoder.rubyforge.org
@@ -343,6 +345,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
@@ -387,7 +390,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(' ')