gecoder 0.8.3 → 0.9.0

data/tasks/distribution.rake

@@ -12,8 +12,10 @@ EXT_DIR = 'ext'
 desc 'Generate RDoc'
 rd = Rake::RDocTask.new do |rdoc|
   rdoc.rdoc_dir = 'doc/output/rdoc'
-  rdoc.options << '--title' << 'Gecode/R' << '--line-numbers' << 
-    '--inline-source' << '--accessor' << 'delegate' << '--main' << 'README'
+  rdoc.title = 'Gecode/R'
+  rdoc.template = 'doc/rdoc/jamis.rb'
+  rdoc.options << '--line-numbers' << '--inline-source' << 
+    '--accessor' << 'delegate' << '--main' << 'README'
   rdoc.rdoc_files.include('README', 'CHANGES', 'LGPL-LICENSE', 'lib/**/*.rb')
 end
 
@@ -32,7 +34,7 @@ task :prepare_rdoc_dev do
   # Copy the rdoc and remove all #:nodoc: .
   Dir['lib/**/*.rb'].each do |source_name|
     destination_name = source_name.sub('lib', TMP_DIR)
-    File.makedirs File.dirname(destination_name)
+    FileUtils.makedirs File.dirname(destination_name)
     destination = File.open(destination_name, 'w')
     File.open(source_name) do |source|
       source.each{ |line| destination << line.gsub('#:nodoc:', '' ) }
@@ -72,11 +74,24 @@ spec = Gem::Specification.new do |s|
   s.extra_rdoc_files = rd.rdoc_files
   s.test_files = FileList['specs/**/*.rb']
 
-  s.autorequire = 'gecoder'
-  s.author = ["Gecode/R Development Team"]
+  s.authors = ["Gecode/R Development Team"]
   s.email = "gecoder-users@rubyforge.org"
   s.homepage = "http://gecoder.rubyforge.org"
   s.rubyforge_project = "gecoder"
+
+=begin
+  # Development dependencies.
+  # Not listed: rubygems >= 1.2
+  [['rake'], 
+    ['webgen', '= 0.4.7'], 
+    ['coderay'], 
+    ['rspec', '>= 1.0'], 
+    ['rcov'], 
+    ['meta_project'], 
+    ['rubyforge']].each do |dependency|
+    s.add_development_dependency(*dependency)
+  end
+=end
 end
 
 # Create a clone of the gem spec with the precompiled binaries for Windows.
@@ -88,7 +103,7 @@ spec_windows_binary_with_gecode.requirements = []
 spec_windows_binary_with_gecode.files = spec.files.dup -
   FileList['ext/**/*'].to_a + 
   FileList['vendor/gecode/win32/lib/*'].to_a << 'lib/gecode.dll'
-spec_windows_binary_with_gecode.platform = Gem::Platform::WIN32
+spec_windows_binary_with_gecode.platform = 'mswin32' #Gem::Platform::WIN32
 
 # Create a clone of the gem spec that includes Gecode.
 spec_with_gecode = spec.dup
@@ -162,7 +177,7 @@ gecode_release_files = [
   "pkg/#{PKG_FILE_NAME_WITH_GECODE}.gem",
   #"pkg/#{PKG_FILE_NAME_WITH_GECODE}.tgz",
   #"pkg/#{PKG_FILE_NAME_WITH_GECODE}.zip",
-  "pkg/#{PKG_FILE_NAME_WITH_GECODE}-mswin32.gem"
+  "pkg/#{PKG_FILE_NAME_WITH_GECODE}-x86-mswin32.gem"
 ]
 desc 'Publish Gecode/R with Gecode packages on RubyForge'
 task :publish_gecoder_with_gecode_packages => 

data/tasks/svn.rake

@@ -3,7 +3,9 @@ require 'lib/gecoder/version'
 desc "Tag the release in svn"
 task :tag do
   base_url = `svn info`.match(/Repository Root: (.*)/n)[1]
-  base_url.gsub!('rubyforge', "#{ENV['RUBYFORGE_USER']}@rubyforge")
+  unless base_url.include? ENV['RUBYFORGE_USER']
+    base_url.gsub!('rubyforge', "#{ENV['RUBYFORGE_USER']}@rubyforge")
+  end
   from = base_url + '/trunk'
   to = base_url + "/tags/gecoder-#{GecodeR::VERSION}"
   options = "-m \"Tag release Gecode/R #{GecodeR::VERSION}\""

metadata

@@ -1,33 +1,87 @@
 --- !ruby/object:Gem::Specification 
-rubygems_version: 0.9.4
-specification_version: 1
 name: gecoder
 version: !ruby/object:Gem::Version 
-  version: 0.8.3
-date: 2008-07-28 00:00:00 +02:00
-summary: Ruby interface to Gecode, an environment for constraint programming.
-require_paths: 
-- lib
-email: gecoder-users@rubyforge.org
-homepage: http://gecoder.rubyforge.org
-rubyforge_project: gecoder
-description: Gecode/R is a Ruby interface to the Gecode constraint programming library.  Gecode/R is intended for people with no previous experience of constraint  programming, aiming to be easy to pick up and use.
-autorequire: gecoder
-default_executable: 
-bindir: bin
-has_rdoc: true
-required_ruby_version: !ruby/object:Gem::Version::Requirement 
-  requirements: 
-  - - ">"
-    - !ruby/object:Gem::Version 
-      version: 0.0.0
-  version: 
+  version: 0.9.0
 platform: ruby
-signing_key: 
-cert_chain: 
-post_install_message: 
 authors: 
-- - Gecode/R Development Team
+- Gecode/R Development Team
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2008-08-18 00:00:00 +02:00
+default_executable: 
+dependencies: []
+
+description: Gecode/R is a Ruby interface to the Gecode constraint programming library.  Gecode/R is intended for people with no previous experience of constraint  programming, aiming to be easy to pick up and use.
+email: gecoder-users@rubyforge.org
+executables: []
+
+extensions: 
+- ext/extconf.rb
+extra_rdoc_files: 
+- README
+- CHANGES
+- 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/variables.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
+- lib/gecoder/interface/constraints/int_enum_constraints.rb
+- lib/gecoder/interface/constraints/set/channel.rb
+- lib/gecoder/interface/constraints/set/cardinality.rb
+- lib/gecoder/interface/constraints/set/include.rb
+- lib/gecoder/interface/constraints/set/operation.rb
+- lib/gecoder/interface/constraints/set/connection.rb
+- lib/gecoder/interface/constraints/set/domain.rb
+- lib/gecoder/interface/constraints/set/relation.rb
+- lib/gecoder/interface/constraints/set_elements/relation.rb
+- lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
+- lib/gecoder/interface/constraints/int/channel.rb
+- lib/gecoder/interface/constraints/int/arithmetic.rb
+- lib/gecoder/interface/constraints/int/linear.rb
+- lib/gecoder/interface/constraints/int/domain.rb
+- lib/gecoder/interface/constraints/int/relation.rb
+- lib/gecoder/interface/constraints/set_enum_constraints.rb
+- lib/gecoder/interface/constraints/bool/channel.rb
+- lib/gecoder/interface/constraints/bool/boolean.rb
+- lib/gecoder/interface/constraints/bool/linear.rb
+- lib/gecoder/interface/constraints/int_enum/channel.rb
+- lib/gecoder/interface/constraints/int_enum/distinct.rb
+- lib/gecoder/interface/constraints/int_enum/element.rb
+- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
+- lib/gecoder/interface/constraints/int_enum/count.rb
+- lib/gecoder/interface/constraints/int_enum/extensional.rb
+- lib/gecoder/interface/constraints/int_enum/equality.rb
+- lib/gecoder/interface/constraints/int_enum/sort.rb
+- lib/gecoder/interface/constraints/set_elements_constraints.rb
+- lib/gecoder/interface/constraints/bool_var_constraints.rb
+- lib/gecoder/interface/constraints/bool_enum_constraints.rb
+- lib/gecoder/interface/constraints/selected_set/select.rb
+- lib/gecoder/interface/constraints/fixnum_enum/element.rb
+- lib/gecoder/interface/constraints/fixnum_enum/operation.rb
+- lib/gecoder/interface/constraints/bool_enum/channel.rb
+- lib/gecoder/interface/constraints/bool_enum/extensional.rb
+- lib/gecoder/interface/constraints/bool_enum/relation.rb
+- 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/operation.rb
+- lib/gecoder/interface/binding_changes.rb
+- lib/gecoder/version.rb
+- lib/gecoder/interface.rb
+- lib/gecoder/bindings/bindings.rb
 files: 
 - README
 - LGPL-LICENSE
@@ -38,6 +92,7 @@ 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/variables.rb
@@ -45,17 +100,22 @@ files:
 - 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
 - lib/gecoder/interface/constraints/int_enum_constraints.rb
 - lib/gecoder/interface/constraints/set/channel.rb
 - lib/gecoder/interface/constraints/set/cardinality.rb
+- lib/gecoder/interface/constraints/set/include.rb
 - lib/gecoder/interface/constraints/set/operation.rb
 - lib/gecoder/interface/constraints/set/connection.rb
 - lib/gecoder/interface/constraints/set/domain.rb
 - lib/gecoder/interface/constraints/set/relation.rb
+- lib/gecoder/interface/constraints/set_elements/relation.rb
+- lib/gecoder/interface/constraints/fixnum_enum_constraints.rb
 - lib/gecoder/interface/constraints/int/channel.rb
 - lib/gecoder/interface/constraints/int/arithmetic.rb
 - lib/gecoder/interface/constraints/int/linear.rb
 - lib/gecoder/interface/constraints/int/domain.rb
+- lib/gecoder/interface/constraints/int/relation.rb
 - lib/gecoder/interface/constraints/set_enum_constraints.rb
 - lib/gecoder/interface/constraints/bool/channel.rb
 - lib/gecoder/interface/constraints/bool/boolean.rb
@@ -68,22 +128,27 @@ files:
 - lib/gecoder/interface/constraints/int_enum/extensional.rb
 - lib/gecoder/interface/constraints/int_enum/equality.rb
 - lib/gecoder/interface/constraints/int_enum/sort.rb
+- lib/gecoder/interface/constraints/set_elements_constraints.rb
 - lib/gecoder/interface/constraints/bool_var_constraints.rb
 - lib/gecoder/interface/constraints/bool_enum_constraints.rb
+- lib/gecoder/interface/constraints/selected_set/select.rb
+- lib/gecoder/interface/constraints/fixnum_enum/element.rb
+- lib/gecoder/interface/constraints/fixnum_enum/operation.rb
 - lib/gecoder/interface/constraints/bool_enum/channel.rb
 - lib/gecoder/interface/constraints/bool_enum/extensional.rb
 - lib/gecoder/interface/constraints/bool_enum/relation.rb
 - 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/operation.rb
-- lib/gecoder/interface/constraints/set_enum/selection.rb
 - lib/gecoder/interface/binding_changes.rb
 - lib/gecoder/version.rb
 - lib/gecoder/interface.rb
 - lib/gecoder/bindings/bindings.rb
 - example/queens.rb
+- example/equation_system.rb
 - example/send_most_money.rb
 - example/magic_sequence.rb
 - example/send_more_money.rb
@@ -91,6 +156,7 @@ 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
@@ -163,145 +229,163 @@ files:
 - specs/logging.rb
 - specs/branch.rb
 - specs/enum_matrix.rb
+- specs/model_sugar.rb
 - specs/search.rb
 - specs/bool_var.rb
+- specs/set_elements.rb
 - specs/distribution.rb
 - specs/spec_helper.rb
 - specs/int_var.rb
 - specs/enum_wrapper.rb
 - specs/model.rb
 - specs/set_var.rb
+- specs/selected_set.rb
 - specs/constraints
-- specs/constraints/channel.rb
-- specs/constraints/bool_enum_relation.rb
-- specs/constraints/distinct.rb
-- specs/constraints/set_operation.rb
-- specs/constraints/element.rb
-- specs/constraints/set_domain.rb
-- specs/constraints/arithmetic.rb
+- specs/constraints/property_helper.rb
+- specs/constraints/set
+- specs/constraints/set/channel.rb
+- specs/constraints/set/cardinality_properties.rb
+- specs/constraints/set/cardinality.rb
+- specs/constraints/set/include.rb
+- specs/constraints/set/operation.rb
+- specs/constraints/set/connection.rb
+- specs/constraints/set/domain.rb
+- specs/constraints/set/relation.rb
+- specs/constraints/set_elements
+- specs/constraints/set_elements/relation.rb
+- specs/constraints/int
+- specs/constraints/int/channel.rb
+- specs/constraints/int/arithmetic.rb
+- specs/constraints/int/linear_properties.rb
+- specs/constraints/int/linear.rb
+- specs/constraints/int/domain.rb
+- specs/constraints/int/relation.rb
 - specs/constraints/constraints.rb
-- specs/constraints/count.rb
-- specs/constraints/cardinality.rb
-- specs/constraints/set_relation.rb
-- specs/constraints/extensional.rb
-- specs/constraints/equality.rb
-- specs/constraints/boolean.rb
-- specs/constraints/int_relation.rb
-- specs/constraints/sort.rb
+- specs/constraints/bool
+- specs/constraints/bool/boolean_properties.rb
+- specs/constraints/bool/boolean.rb
+- specs/constraints/bool/linear.rb
+- specs/constraints/int_enum
+- specs/constraints/int_enum/channel.rb
+- specs/constraints/int_enum/distinct.rb
+- specs/constraints/int_enum/element.rb
+- specs/constraints/int_enum/arithmetic.rb
+- specs/constraints/int_enum/count.rb
+- specs/constraints/int_enum/extensional.rb
+- specs/constraints/int_enum/equality.rb
+- specs/constraints/int_enum/sort.rb
 - specs/constraints/constraint_helper.rb
-- specs/constraints/int_domain.rb
 - specs/constraints/reification_sugar.rb
-- specs/constraints/selection.rb
-- specs/constraints/connection.rb
-- specs/constraints/linear.rb
+- specs/constraints/selected_set
+- specs/constraints/selected_set/select.rb
+- specs/constraints/selected_set/select_properties.rb
+- specs/constraints/constraint_receivers.rb
+- specs/constraints/fixnum_enum
+- specs/constraints/fixnum_enum/element.rb
+- specs/constraints/fixnum_enum/operation.rb
+- specs/constraints/bool_enum
+- specs/constraints/bool_enum/channel.rb
+- specs/constraints/bool_enum/bool_enum_relation.rb
+- specs/constraints/bool_enum/extensional.rb
+- 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/operation.rb
 - specs/examples.rb
 - ext/gecoder.cpp
 - ext/vararray.cpp
 - ext/gecoder.h
 - ext/vararray.h
 - ext/extconf.rb
+has_rdoc: true
+homepage: http://gecoder.rubyforge.org
+post_install_message: 
+rdoc_options: 
+- --line-numbers
+- --inline-source
+- --accessor
+- delegate
+- --main
+- README
+require_paths: 
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+required_rubygems_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+requirements: 
+- Gecode 2.1.1
+rubyforge_project: gecoder
+rubygems_version: 1.2.0
+signing_key: 
+specification_version: 2
+summary: Ruby interface to Gecode, an environment for constraint programming.
 test_files: 
 - specs/logging.rb
 - specs/branch.rb
 - specs/enum_matrix.rb
+- specs/model_sugar.rb
 - specs/search.rb
 - specs/bool_var.rb
+- specs/set_elements.rb
 - specs/distribution.rb
 - specs/spec_helper.rb
 - specs/int_var.rb
 - specs/enum_wrapper.rb
 - specs/model.rb
 - specs/set_var.rb
-- specs/constraints/channel.rb
-- specs/constraints/bool_enum_relation.rb
-- specs/constraints/distinct.rb
-- specs/constraints/set_operation.rb
-- specs/constraints/element.rb
-- specs/constraints/set_domain.rb
-- specs/constraints/arithmetic.rb
+- specs/selected_set.rb
+- specs/constraints/property_helper.rb
+- specs/constraints/set/channel.rb
+- specs/constraints/set/cardinality_properties.rb
+- specs/constraints/set/cardinality.rb
+- specs/constraints/set/include.rb
+- specs/constraints/set/operation.rb
+- specs/constraints/set/connection.rb
+- specs/constraints/set/domain.rb
+- specs/constraints/set/relation.rb
+- specs/constraints/set_elements/relation.rb
+- specs/constraints/int/channel.rb
+- specs/constraints/int/arithmetic.rb
+- specs/constraints/int/linear_properties.rb
+- specs/constraints/int/linear.rb
+- specs/constraints/int/domain.rb
+- specs/constraints/int/relation.rb
 - specs/constraints/constraints.rb
-- specs/constraints/count.rb
-- specs/constraints/cardinality.rb
-- specs/constraints/set_relation.rb
-- specs/constraints/extensional.rb
-- specs/constraints/equality.rb
-- specs/constraints/boolean.rb
-- specs/constraints/int_relation.rb
-- specs/constraints/sort.rb
+- specs/constraints/bool/boolean_properties.rb
+- specs/constraints/bool/boolean.rb
+- specs/constraints/bool/linear.rb
+- specs/constraints/int_enum/channel.rb
+- specs/constraints/int_enum/distinct.rb
+- specs/constraints/int_enum/element.rb
+- specs/constraints/int_enum/arithmetic.rb
+- specs/constraints/int_enum/count.rb
+- specs/constraints/int_enum/extensional.rb
+- specs/constraints/int_enum/equality.rb
+- specs/constraints/int_enum/sort.rb
 - specs/constraints/constraint_helper.rb
-- specs/constraints/int_domain.rb
 - specs/constraints/reification_sugar.rb
-- specs/constraints/selection.rb
-- specs/constraints/connection.rb
-- specs/constraints/linear.rb
+- specs/constraints/selected_set/select.rb
+- specs/constraints/selected_set/select_properties.rb
+- specs/constraints/constraint_receivers.rb
+- specs/constraints/fixnum_enum/element.rb
+- specs/constraints/fixnum_enum/operation.rb
+- specs/constraints/bool_enum/channel.rb
+- specs/constraints/bool_enum/bool_enum_relation.rb
+- 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/operation.rb
 - specs/examples.rb
-rdoc_options: 
-- --title
-- Gecode/R
-- --line-numbers
-- --inline-source
-- --accessor
-- delegate
-- --main
-- README
-extra_rdoc_files: 
-- README
-- CHANGES
-- LGPL-LICENSE
-- lib/gecoder.rb
-- lib/gecoder/bindings.rb
-- lib/gecoder/interface/branch.rb
-- lib/gecoder/interface/enum_matrix.rb
-- lib/gecoder/interface/search.rb
-- lib/gecoder/interface/constraints.rb
-- lib/gecoder/interface/variables.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/int_enum_constraints.rb
-- lib/gecoder/interface/constraints/set/channel.rb
-- lib/gecoder/interface/constraints/set/cardinality.rb
-- lib/gecoder/interface/constraints/set/operation.rb
-- lib/gecoder/interface/constraints/set/connection.rb
-- lib/gecoder/interface/constraints/set/domain.rb
-- lib/gecoder/interface/constraints/set/relation.rb
-- lib/gecoder/interface/constraints/int/channel.rb
-- lib/gecoder/interface/constraints/int/arithmetic.rb
-- lib/gecoder/interface/constraints/int/linear.rb
-- lib/gecoder/interface/constraints/int/domain.rb
-- lib/gecoder/interface/constraints/set_enum_constraints.rb
-- lib/gecoder/interface/constraints/bool/channel.rb
-- lib/gecoder/interface/constraints/bool/boolean.rb
-- lib/gecoder/interface/constraints/bool/linear.rb
-- lib/gecoder/interface/constraints/int_enum/channel.rb
-- lib/gecoder/interface/constraints/int_enum/distinct.rb
-- lib/gecoder/interface/constraints/int_enum/element.rb
-- lib/gecoder/interface/constraints/int_enum/arithmetic.rb
-- lib/gecoder/interface/constraints/int_enum/count.rb
-- lib/gecoder/interface/constraints/int_enum/extensional.rb
-- lib/gecoder/interface/constraints/int_enum/equality.rb
-- lib/gecoder/interface/constraints/int_enum/sort.rb
-- lib/gecoder/interface/constraints/bool_var_constraints.rb
-- lib/gecoder/interface/constraints/bool_enum_constraints.rb
-- lib/gecoder/interface/constraints/bool_enum/channel.rb
-- lib/gecoder/interface/constraints/bool_enum/extensional.rb
-- lib/gecoder/interface/constraints/bool_enum/relation.rb
-- 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/distinct.rb
-- lib/gecoder/interface/constraints/set_enum/operation.rb
-- lib/gecoder/interface/constraints/set_enum/selection.rb
-- lib/gecoder/interface/binding_changes.rb
-- lib/gecoder/version.rb
-- lib/gecoder/interface.rb
-- lib/gecoder/bindings/bindings.rb
-executables: []
-
-extensions: 
-- ext/extconf.rb
-requirements: 
-- Gecode 2.1.1
-dependencies: []
-